FME '94: industrial benefit of formal methods
Work detail
Bookitis Pick
F'
Image source: Open LibraryInternational Symposium of Formal Methods Europe (2nd 1994 Barcelona)First published 19941 editions
This page groups all known editions belonging to the same underlying work.
Overview
Shared work-level identity and catalog context.
First publish date 19941 credited authorSearch language english
Contributors
People credited with this work in the active catalog.
- Open Author
International Symposium of Formal Methods Europe (2nd 1994 Barcelona)
Editions
Publication-specific versions linked to this work only.