Burkhart Wolff
Burkhart Wolff
3 books in the database
Books
Unifying Theories of ProgrammingBurkhart Wolff
Unifying Theories of Programming
Burkhart Wolff · 2013
Testing Software And Systems 23rd Ifip Wg 61 International Conference Ictss 2011 Paris France November 710 2011 ProceedingsBurkhart Wolff
Testing Software And Systems 23rd Ifip Wg 61 International Conference Ictss 2011 Paris France November 710 2011 Proceedings
Burkhart Wolff · 2011
Testing Software and SystemsBurkhart Wolff
Testing Software and Systems
Burkhart Wolff · 2011
Co-authored books and collections
Books that list Burkhart Wolff among their authors but not as the lead author: co-written works, collections and compilations.
Tests and ProofsCatherine Dubois
Tests and Proofs
Catherine Dubois · 2009
Formal Approaches to Software Testing and Runtime VerificationKlaus Havelund
Formal Approaches to Software Testing and Runtime Verification
Klaus Havelund · 2006
Theorem Proving in Higher Order LogicsDavid Basin
Theorem Proving in Higher Order Logics
David Basin · 2003