Invariant Checking for Programs with Procedure Calls.

Guillem Godoy, Ashish Tiwari

Browse the full SAS paper archive.