Cambridge University Press · Springer, Berlin
| title | ISBN-13 (ISBN-10) | year of publica- tion | other author(s) | |
|---|---|---|---|---|
| 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 (3-540-23841-7) | 2004 | Jim Davies · Mike Barnett | |
| Model-Based Software Testing and Analysis with C#: A Model-based Approach Using SpecExplorer | 978-0-521-68761-4 (0-521-68761-6) | 2007 | Jonathan Jacky · Margus Veanes · Colin Campbell |