Wolff, Burkhart books & textbook
Tests and Proofs: 12th International Conference, TAP 2018, Held as Part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings (Programming and Software Engineering)
Dubois, Catherine Wolff, Burkhart
Springer /2018-06-03 Paperback / 199 Pages
isbn-10: 3319929933 / isbn-13: 9783319929934
Theorem Proving in Higher Order Logics: 16th International Conference, TPHOLs 2003, Rom, Italy, September 8-12, 2003, Proceedings (Lecture Notes in Computer Science, 2758)
Springer /2003-08-21 Paperback / 376 Pages
isbn-10: 3540406646 / isbn-13: 9783540406648
Formal Approaches to Software Testing and Runtime Verification: First Combined International Workshops FATES 2006 and RV 2006, Seattle, WA, USA, ... (Lecture Notes in Computer Science, 4262)
Havelund, Klaus Núnez, Manuel Rosu, Grigore Wolff, Burkhart
Springer /2006-12-07 Paperback / 263 Pages
isbn-10: 3540496998 / isbn-13: 9783540496991
Testing Software and Systems: 23rd IFIP WG 6.1 International Conference, ICTSS 2011, Paris, France, November 7-10, 2011, Proceedings (Lecture Notes in Computer Science, 7019)
Springer /2011-10-21 Paperback / 236 Pages
isbn-10: 364224579X / isbn-13: 9783642245794
Tests and Proofs: 5th International Conference, TAP 2011, Zürich, Switzerland, June 30 - July 1, 2011, Proceedings (Lecture Notes in Computer Science, 6706)
Gogolla, Martin Wolff, Burkhart
Springer /2011-06-22 Paperback / 215 Pages
isbn-10: 3642217672 / isbn-13: 9783642217678
