Theorem Proving in Higher Order Logics
2003
Formal Approaches to Software Testing and Runtime Verification
2006
Testing Software and Systems
2011
Unifying Theories of Programming
2013
Testing Software And Systems 23rd Ifip Wg 61 International Conference Ictss 2011 Paris France November 710 2011 Proceedings
2011
Tests and Proofs
2009
