Zoeken

U zocht naar: Auteur Ulbrich, Mattias Filter Auteur: Ulbrich, Mattias weghalen
1 - 2 van 2
Aantal zoekresultaten per pagina

Zoekresultaten

1. Deductive Software Verification: Future Perspectives: Reflections on the Occasion of 20 Years of KeY
thumbnail
Full text!
Auteur:
Ahrendt; Beckert, Bernhard; Bubel, Richard; Hähnle, Reiner; Ulbrich, Mattias
Uitgever:
Springer International Publishing 2020
Type:
e-book
2. Deductive Software Verification – The KeY Book
thumbnail
Full text!
Auteur:
Ahrendt; Beckert, Bernhard; Bubel, Richard; Hähnle, Reiner; Schmitt, Peter H.; Ulbrich, Mattias
Uitgever:
Springer International Publishing 2016
Type:
e-book