Cyber & formal methods publications January 1, 2009 Conference PaperInvariant Checking for Programs with Procedure Calls SRI International January 1, 2009 ↓ View online Share this