Reasoning about Safety and Progress Using Contracts.

Imene Ben Hafaiedh, Susanne Graf, Sophie Quinton

Browse the full ICFEM paper archive.