Runtime Assertion Checking and Static Verification: Collaborative Partners.

Fonenantsoa Maurica, David R. Cok, Julien Signoles

Browse the full ISoLA paper archive.