@InProceedings{BCO05, Author = "Berdine, J. and Calcagno, C. and O'Hearn, P.", Year = "2005", Title = "{Symbolic Execution with Separation Logic}", Editor = "Yi, K.", BookTitle = "{Proceedings of the 3rd Asian Symposium on Programming Languages and Systems}", Place = "Tsukuba, Japan", Series = "Lecture Notes in Computer Science", Number = "3780", Pages = "52-68", Publisher = "Springer-Verlag", Comment = "TPTPRef" }