Hoare-Style Reasoning from Multiple Contracts.

Olaf Owe, Toktam Ramezanifarkhani, Elahe Fazeldehkordi

Browse the full IFM paper archive.