Grieskamp, Wolfgang books & textbook
Testing of Software and Communicating Systems: 19th IFIP TC 6/WG 6.1 International Conference, TestCom 2007, 7th International Workshop, FATES 2007, ... (Lecture Notes in Computer Science, 4581)
Veanes, Margus Tretmans, Jan Grieskamp, Wolfgang
Springer /2007-06-12 Paperback / 400 Pages
isbn-10: 3540730656 / isbn-13: 9783540730651
Integrated Formal Methods: Second International Conference, IFM 2000, Dagstuhl Castle, Germany, November 1-3, 2000 Proceedings (Lecture Notes in Computer Science, 1945)
Grieskamp, Wolfgang Santen, Thomas Stoddart, Bill
Springer /2000-10-18 Paperback / 456 Pages
isbn-10: 3540411968 / isbn-13: 9783540411963
Formal Approaches to Software Testing: 5th International Workshop, FATES 2005, Edinburgh, UK, July 11, 2005, Revised Selected Papers (Lecture Notes in Computer Science, 3997)
Grieskamp, Wolfgang Weise, Carsten
Springer /2006-05-30 Paperback / 231 Pages
isbn-10: 3540344543 / isbn-13: 9783540344544
