Compositional Proofs with Symbolic Execution.

Simon Bumler, Florian Nafz, Michael Balser, Wolfgang Reif

Browse the full CADE paper archive.