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]