Invariant Checking for Programs with Procedure Calls.

Guillem Godoy Ashish Tiwari Invariant Checking for Programs with Procedure Calls. 326-342 2009 SAS http://dx.doi.org/10.1007/978-3-642-03237-0_22 conf/sas/2009 db/conf/sas/sas2009.html#GodoyT09