Thomas A. Berson;Richard J. Feiertag;R. Kenneth Bauer
-;-;-
Integrating Formal Methods into the Development Process
IEEE Software