| title | ISBN-13 (ISBN-10) | year of publica- tion | other author(s) | |
|---|---|---|---|---|
| Formal Methods for Distributed System Development: FORTE / PSTV 2000 IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques ... in Information and Communication Technology) | 978-0-7923-7968-3 (0-7923-7968-3) | 2000 | Tommaso Bolognesi | |
| Integrated Formal Methods: 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings | 978-3-642-30728-7 (3-642-30728-0) | 2012 | John Derrick · Stefania Gnesi · Helen Treharne |