Non abbiamo ancora una biografia di Peter H. Schmitt.
Pubblicato in Inglese · Tedesco
Per saperne di più: Open Library (si apre in una nuova scheda)
Automated deduction
1998
Theorie der logischen Programmierung
1992
Deductive Software Verification - the KeY Book
2017
Verification of Object-Oriented Software. the KeY Approach
2007
Otium
