W. Schulte · Wilfried Schulte · Wilfried Seywald
Cambridge University Press · Springer Berlin Heidelberg
| title | media type | ISBN-13 | year of publica- tion | other author(s) | |
|---|---|---|---|---|---|
| FM 2011: Formal Methods: 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011, Proceedings | Taschenbuch | 978-3-642-21436-3 | 2011 | Michael Butler | |
| Formal Methods and Software Engineering: 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004, Proceedings | " | 978-3-540-23841-6 | 2004 | Jim Davies · Mike Barnett | |
| Model-Based Software Testing and Analysis with C#: A Model-based Approach Using SpecExplorer | Paperback | 978-0-521-68761-4 | 2007 | Jonathan Jacky · Margus Veanes · Colin Campbell | |
| Model-Based Software Testing and Analysis with C#: A Model-based Approach Using SpecExplorer | Hardcover | 978-0-521-88655-0 | 2007 | Jonathan Jacky · Margus Veanes · Colin Campbell |