Cooperation Between Automatic and Interactive Software Verifiers.

Dirk Beyer, Martin Spiessl, Sven Umbricht

Browse the full SEFM paper archive.