TPTP Reference: BCO06
@InProceedings{BCO06,
Author = "Berdine, J. and Calcagno, C. and O'Hearn, P.",
Year = "2006",
Title = "{Smallfoot: Modular Automatic Assertion Checking with
Separation Logic}",
Editor = "de Boer, F. and Bonsangue, M. and Graf, S. and
de Roever, W-P.",
BookTitle = "{Proceedings of the 4th International Symposium on Formal
Methods for Components and Objects}",
Place = "Amsterdam, The Netherlands",
Series = "Lecture Notes in Computer Science",
Number = "4111",
Pages = "115-137",
Publisher = "Springer-Verlag",
Comment = "TPTPRef"
}