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. [doi]
No reviews for this publication, yet.