B
Burkhart Wolff
6 works on record
Works

Testing Software And Systems 23rd Ifip Wg 61 International Conference Ictss 2011 Paris France November 710 2011 Proceedings

Unifying Theories of Programming

Tests and Proofs
Formal Approaches to Software Testing and Runtime Verification
Formal Approaches to Software Testing and Runtime Verification
2006
Theorem Proving in Higher Order Logics
Theorem Proving in Higher Order Logics
Testing Software and Systems
Testing Software and Systems