Static and Runtime Verification, Competitors or Friends? (Track Summary).

Dilian Gurov, Klaus Havelund, Marieke Huisman, Rosemary Monahan

Browse the full ISoLA paper archive.