OtiumSessione
Sessione
Non abbiamo ancora una biografia di Burkhart Wolff.
Pubblicato in Inglese
Per saperne di più: Open Library (si apre in una nuova scheda)
Tests and Proofs
2018
Unifying Theories of Programming
2013
Theorem Proving in Higher Order Logics
2003
Testing Software and Systems
2011
Testing Software And Systems 23rd Ifip Wg 61 International Conference Ictss 2011 Paris France November 710 2011 Proceedings
2011
Formal Approaches to Software Testing and Runtime Verification
2006