Wyniki wyszukiwania dla: George C. Necula
- 1
- 2
Lecture Notes in Computer Science > Static Analysis > Abstract Interpretation and Algorithms > 212-227
Lecture Notes in Computer Science > Verification, Model Checking, and Abstract Interpretation > 174-189
Science of Computer Programming > 2007 > 64 > 1 > 97-114
Information and Computation > 2005 > 199 > 1-2 > 107-131
Electronic Notes in Theoretical Computer Science > 1999 > 20 > Complete > 117-131
- 1
- 2