Specification engineering and modular verification using a web-integrated verifying compiler - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Charles T. Cook, Heather K. Harton, Hampton Smith, Murali Sitaraman. Specification engineering and modular verification using a web-integrated verifying compiler. In Martin Glinz, Gail C. Murphy, Mauro Pezzè, editors, 34th International Conference on Software Engineering, ICSE 2012, June 2-9, 2012, Zurich, Switzerland. pages 1379-1382, IEEE, 2012. [doi]

This author has not been identified. Look up 'Charles T. Cook' in GoogleThis author has not been identified. Look up 'Heather K. Harton' in GoogleThis author has not been identified. Look up 'Hampton Smith' in GoogleThis author has not been identified. Look up 'Murali Sitaraman' in Google

runs on WebDSL