Local Action and Abstract Separation Logic
Cristiano Calcagno‚ Peter W. O'Hearn and Hongseok Yang
Address
Wroclaw‚ Poland
Book Title
Proceedings of the 22nd Annual IEEE Symposium on Logic in Computer Science
Month
July
Pages
366–378
Publisher
IEEE
Year
2007