Burkhart Wolff

A list of authors with biographies, life dates, and future collections of all their books.

Author's Books

6

Theorem Proving in Higher Order Logics

Theorem Proving in Higher Order Logics

Unifying Theories of Programming

Unifying Theories of Programming

Formal Approaches to Software Testing and Runtime Verification

Formal Approaches to Software Testing and Runtime Verification

Testing Software and Systems

Testing Software and Systems

Tests and Proofs

Tests and Proofs

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

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