Search results for: Shaz Qadeer
2016 IEEE Cybersecurity Development (SecDev) > 117 - 123
Lecture Notes in Computer Science > Verification, Model Checking, and Abstract Interpretation > Regular Papers > 231-246
Lecture Notes in Computer Science > Logic-Based Program Synthesis and Transformation > Invited Talks > 15-16
Lecture Notes in Computer Science > Automated Deduction – CADE-22 > Session 6. Interpolation and Predicate Abstraction > 214-229
Lecture Notes in Computer Science > Programming Languages and Systems > Distributed Programs: Verification and Analysis > 262-277