Integrated Formal Methods
Work detail
Bookitis PickIF
Integrated Formal Methods
Rosemary MonahanMaurice H. ter Beek1 editions
This page groups all known editions belonging to the same underlying work.
Overview
Shared work-level identity and catalog context.
2 credited authorsSearch language english
Contributors
People credited with this work in the active catalog.
- Open Author
Rosemary Monahan
- Open Author
Maurice H. ter Beek
Editions
Publication-specific versions linked to this work only.