Publication

Automating Verification of Functional Programs with Quantified Invariants