Formal Methods and Tools: Introduction and Overview

Erstveröffentlichung
1999Authors
Berghammer, R.
Lakhnech, Y.
Reif, Wolfgang
Editor
Berghammer, R.Lakhnech, Y.
Teil eines Buches
Published in
Tool Support for System Specification, Development and Verification / Berghammer, Rudolf ; Lakhnech, Yassine (Hrsg.). - Wien : Springer, 1999. - S. 1-17. - ISBN 978-3-211-83282-0, ISBN 978-3-7091-6355-9. - ISSN 1433-0113