| 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-O-387-6O973-7 (O-387-6O973-3) | 1996 | M. C. Gaudel · Jim Woodcock |
I.S.O. · International Symposium · S.O.
England) International Workshop on Biodiversity Information (1996 : London