Proceedings
Work detail
Bookitis PickP
Proceedings
Workshop on Industrial-Strength Formal Specification Techniques (2nd 1998 Boca Raton, Fla.)First published 19991 editions
This page groups all known editions belonging to the same underlying work.
Overview
Shared work-level identity and catalog context.
First publish date 19991 credited authorSearch language simple
Contributors
People credited with this work in the active catalog.
- Open Author
Workshop on Industrial-Strength Formal Specification Techniques (2nd 1998 Boca Raton, Fla.)
Editions
Publication-specific versions linked to this work only.