![](/img/cover-not-exists.png)
[ACM Press the 34th annual ACM SIGPLAN-SIGACT symposium - Nice, France (2007.01.17-2007.01.19)] Proceedings of the 34th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '07 - Modular verification of a non-blocking stack
Parkinson, Matthew, Bornat, Richard, O'Hearn, PeterYear:
2007
Language:
english
DOI:
10.1145/1190216.1190261
File:
PDF, 641 KB
english, 2007