B

Burkhart Wolff

No biography available

Books by Burkhart Wolff

Formal Approaches to Software Testing and Runtime Verification: First Combined International Workshops FATES 2006 and RV 2006, Seattle, WA, USA, ...

Formal Approaches to Software Testing and Runtime Verification: First Combined International Workshops FATES 2006 and RV 2006, Seattle, WA, USA, ...

Klaus Havelund, Manuel Núñez, Grigore Roșu, Burkhart Wolff