S. C. Choi;W. Scacchi
-;-
Introducing formal specification methods in industrial practice
ICSE '97 Proceedings of the 19th international conference on Software engineering
Process Integration in CASE Environments
IEEE Software