Testing Software And Systems 23rd Ifip Wg 61 International Conference Ictss 2011 Paris France November 710 2011 ProceedingsBurkhart Wolff · First published 2011Open the Tome
Formal Approaches to Software Testing and Runtime VerificationKlaus Havelund, Manuel Núnez, Grigore Rosu, Burkhart Wolff · First published 2006Open the Tome
Theorem Proving in Higher Order LogicsDavid Basin, Burkhart Wolff · First published 2003Open the Tome
