Search results for: Arsenii Rudich
Lecture Notes in Computer Science > FM 2008: Formal Methods > Session 2. Programming Language Analysis > 68-83
Lecture Notes in Computer Science > Automated Reasoning > Session 3: Automated Verification > 100-115