A Mechanically Verified Theory of Contracts.

Stphane Kastenbaum, Benot Boyer, Jean-Pierre Talpin

Browse the full ICTAC paper archive.