Verification Artifacts in Cooperative Verification: Survey and Unifying Component Framework.

Dirk Beyer, Heike Wehrheim

Browse the full ISoLA paper archive.