[ACM Press the 35th annual ACM SIGPLAN-SIGACT symposium - San Francisco, California, USA (2008.01.07-2008.01.12)] Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '08 - Enhancing modular OO verification with separation logic
Chin, Wei-Ngan, David, Cristina, Nguyen, Huu Hai, Qin, ShengchaoYear:
2008
Language:
english
DOI:
10.1145/1328438.1328452
File:
PDF, 298 KB
english, 2008