Experiences in applying formal methods to the analysis of software and system requirements - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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. Experiences in applying formal methods to the analysis of software and system requirements. In Workshop on Industrial-Strength Formal Specification Techniques, WIFT 1995, Boca Raton, Florida, USA, April 5-8, 1995. pages 30-43, IEEE Computer Society, 1995. [doi]

This author has not been identified. Look up 'David Hamilton' in GoogleThis author has not been identified. Look up 'Richard Covington' in GoogleThis author has not been identified. Look up 'John Kelly' in GoogleThis author has not been identified. Look up 'Carron Kirkwood' in GoogleThis author has not been identified. Look up 'Muffy Thomas' in GoogleThis author has not been identified. Look up 'Alan R. Flora-Holmquist' in GoogleThis author has not been identified. Look up 'Mark G. Staskauskas' in GoogleThis author has not been identified. Look up 'Steven P. Miller' in GoogleThis author has not been identified. Look up 'Mandayam K. Srivas' in GoogleThis author has not been identified. Look up 'George Cleland' in GoogleThis author has not been identified. Look up 'Donald MacKenzie' in Google

runs on WebDSL