coma, an Intermediate Verification Language with Explicit Abstraction Barriers.

Andrei Paskevich, Paul Patault, Jean-Christophe Fillitre

Browse the full ESOP paper archive.