Experiences in applying formal methods to the analysis of software and system requirements.

David Hamilton Richard Covington John Kelly Carron Kirkwood Muffy Thomas Alan R. Flora-Holmquist Mark G. Staskauskas Steven P. Miller Mandayam K. Srivas George Cleland Donald MacKenzie

Published in: WIFT (1995)

Keyphrases