Burkhart WolffBooksTheorem Proving in Higher Order LogicsFormal Approaches to Software Testing and Runtime VerificationTesting Software And Systems 23rd Ifip Wg 61 International Conference Ictss 2011 Paris France November 710 2011 ProceedingsTesting Software and SystemsUnifying Theories of ProgrammingTests and ProofsAuthor data: Open Library
