Interface Abstraction for Compositional Verification.

Dilian Gurov, Marieke Huisman

Browse the full SEFM paper archive.