Author

Burkhart Wolff

6 known books newest first

No author bio imported yet.

Books

OpenLibrary works by this author.

6 books
Formal Approaches to Software Tes...

Formal Approaches to Software Testing and Runtime Verification

Year unknown Klaus Havelund, Manuel Núnez, Grigore Rosu, and Burkhart Wolff
Testing Software and Systems

Testing Software and Systems

Year unknown Burkhart Wolff and Fatiha Zaidi
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

Year unknown
Tests and Proofs

Tests and Proofs

Year unknown Catherine Dubois and Burkhart Wolff
Theorem Proving in Higher Order L...

Theorem Proving in Higher Order Logics

Year unknown David Basin and Burkhart Wolff
Unifying Theories of Programming

Unifying Theories of Programming

Year unknown

Fetched from OpenLibrary. Some translations may appear as separate works.