GACAL: Conjecture-Based Verification - (Competition Contribution).

Benjamin Quiring, Panagiotis Manolios

Browse the full TACAS paper archive.