Search results for: Huu Hai Nguyen
Lecture Notes in Computer Science > Verification, Model Checking, and Abstract Interpretation > 203-217
Lecture Notes in Computer Science > Computer Aided Verification > Session 9: Program Verification > 355-369
Lecture Notes in Computer Science > Verification, Model Checking, and Abstract Interpretation > Session 4 > 251-266
Science of Computer Programming > 2012 > 77 > 9 > 1006-1036
Journal of Automated Reasoning > 2006 > 36 > 3 > 213-239