| title | ISBN-13 (ISBN-10) | year of publica- tion | other author(s) |
|---|---|---|---|
| Fme '96, Industrial Benefit of Formal Methods: Third International Symposium of Formal Methods Europe Co-Sponsored by Ifip Wg 14.3, Oxford, Uk, March ... | 978-0-387-60973-7 (0-387-60973-3) | 1996 | england International Symposium of Formal Methods Europe 1996 Oxford · Jim Woodcock |
| Tapsoft '93: Theory and Practice of Software Development: 4th International Joint Conference Caap/Fase, Orsay, France, April 13-17, 1993 Proceedings | 978-0-387-56610-8 (0-387-56610-4) | 1993 | |
C. G. · M.C. · M G*** · Macquart-C - Gaudel- · Marie-Claude Gaudel