Maintenance of Formal Software Developments by Stratified Verification.

Serge Autexier, Dieter Hutter

Browse the full LPAR paper archive.