| title | ISBN-13 (ISBN-10) | year of publica- tion | other author(s) |
|---|---|---|---|
| Fme '94: Industrial Benefit of Formal Methods: Second International Symposium of Formal Methods Europe Barcelona, Spain, October 24-28, 1994: Proc | 978-O-387-58555-O (O-387-58555-9) | 1994 | Tim Denvir · Maurice Naftalin |
I.S.O. · International Symposium · S.O. · S S