Burkhart Wolff

No bio available. Add one in Open Library.

Books by Burkhart Wolff (50 max)

+ shelf+ list

Tests and Proofs Third International Conference, TAP 2009, Zurich, Switzerland, July 2-3, 2009, Proceedings

2009

Catherine Dubois, Burkhart Wolff

+ shelf+ list

Theorem Proving in Higher Order Logics 16th International Conference, TPHOLs 2003, Rom, Italy, September 8-12, 2003, Proceedings

2003

David Basin, Burkhart Wolff

+ shelf+ list

Formal Approaches to Software Testing and Runtime Verification First Combined International Workshops FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers

2006

Klaus Havelund, Manuel Núnez, Grigore Rosu, Burkhart Wolff

+ shelf+ list

Testing Software and Systems 23rd IFIP WG 6. 1 International Conference, ICTSS 2011, Paris, France, November 7-10, 2011, Proceedings

2011

Burkhart Wolff, Fatiha Zaidi

+ shelf+ list

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

2011

Burkhart Wolff

+ shelf+ list

Unifying Theories of Programming 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers

2013

Burkhart Wolff