Modelling in the contexts of verification and design/14. Theses on verification models

Uit Werkplaats
Ga naar: navigatie, zoeken
Angelika Mader.jpg

Modelling
for verification and design
Angelika Mader

 © comments



  • We want verification models
Overgenomen van "https://lab.cs.ru.nl/algemeen/index.php?title=Modelling_in_the_contexts_of_verification_and_design/14._Theses_on_verification_models&oldid=88526"