Search results for: Matt Elder
Lecture Notes in Computer Science > Computer Aided Verification > Session 6. Verification of Hardware and Low Level Code > 288-305
Lecture Notes in Computer Science > Static Analysis > 198-215
Electronic Notes in Theoretical Computer Science > 2010 > 267 > 1 > 43-57