Cambridge University Press · Springer
| title | media type | ISBN-13 | year of publica- tion | other author(s) | |
|---|---|---|---|---|---|
| Model-Based Software Testing and Analysis with C#: A Model-based Approach Using SpecExplorer | Paperback | 978-0-521-68761-4 | 2007 | Jonathan Jacky · Colin Campbell · Wolfram Schulte | |
| Model-Based Software Testing and Analysis with C#: A Model-based Approach Using SpecExplorer | Hardcover | 978-0-521-88655-0 | 2007 | Jonathan Jacky · Colin Campbell · Wolfram Schulte | |
| On simultaneous rigid E-unification | 978-91-506-1217-2 | 1997 | |||
| Testing of Software and Communicating Systems: 19th IFIP TC 6/WG 6.1 International Conference, TestCom 2007, 7th International Workshop, FATES 2007, ... Notes in Computer Science , Band 4581) | Taschenbuch | 978-3-540-73065-1 | 2007 | ||
| Tests and Proofs: 7th International Conference, TAP 2013, Budapest, Hungary, June 16-20, 2013. Proceedings | " | 978-3-642-38915-3 | 2013 | Luca Vigano | |