Specification engineering and modular verification using a web-integrated verifying compiler.

Charles T. Cook, Heather K. Harton, Hampton Smith, Murali Sitaraman

Browse the full ICSE paper archive.