![](/img/cover-not-exists.png)
[ACM Press the 29th ACM SIGPLAN-SIGACT symposium - Portland, Oregon (2002.01.16-2002.01.18)] Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '02 - Predicate abstraction for software verification
Flanagan, Cormac, Qadeer, ShazYear:
2002
Language:
english
DOI:
10.1145/503272.503291
File:
PDF, 239 KB
english, 2002