Search results for: Patrick Lam
Lecture Notes in Computer Science > Verification, Model Checking, and Abstract Interpretation > 157-173
Lecture Notes in Computer Science > Verified Software: Theories, Tools, Experiments > Static Analysis > 214-226
Lecture Notes in Computer Science > RoboCup 2003: Robot Soccer World Cup VII > Technical Papers > 355-365
Lecture Notes in Computer Science > Verification, Model Checking, and Abstract Interpretation > Verification II > 430-447