Author

Mattias Ulbrich

1 book found

Cover of Deductive Software Verification : Future Perspectives

Deductive Software Verification : Future Perspectives

Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Reiner Hähnle, Mattias Ulbrich · First published 2020