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

Uit Werkplaats

< Modelling in the contexts of verification and design(Doorverwezen vanaf Taxonomy/Modelling in the contexts of verification and design/14. Theses on verification models)

Ga naar: navigatie, zoeken

Angelika Mader.jpg

Modelling
for verification and design
Angelika Mader

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"