Formal Methods for Industrial Critical Systems
Work detail
Bookitis Pick
FM
Image source: Open LibraryFrancesco FlamminiFrédéric Langédéric Lang2 editions
This page groups all known editions belonging to the same underlying work.
Overview
Shared work-level identity and catalog context.
3 credited authorsSearch language english
Contributors
People credited with this work in the active catalog.
- Open Author
Francesco Flammini
- Open Author
Frédéric Lang
- Open Author
édéric Lang
Editions
Publication-specific versions linked to this work only.