Summary-Based Compositional Analysis for Soft Contract Verification.

Bram Vandenbogaerde, Quentin Stivenart, Coen De Roover

Browse the full SCAM paper archive.