A Semantic Basis for Local Reasoning
Hongseok Yang and Peter W. O'Hearn
Book Title
Proceedings of the 5th Conference on Foundations of Software Science and Computation Structures
ISBN
3−540−43366−X
Month
April
Pages
402–416
Publisher
Springer−Verlag
Series
Lecture Notes in Computer Science
Volume
2303
Year
2002