Patrick Lam, Viktor Kuncak, Martin C. Rinard. Hob: A Tool for Verifying Data Structure Consistency. In Rastislav Bodík, editor, Compiler Construction, 14th International Conference, CC 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005, Proceedings. Volume 3443 of Lecture Notes in Computer Science, pages 237-241, Springer, 2005.
Abstract is missing.