Falk Howar, Malte Isberner, Bernhard Steffen, Oliver Bauer, Bengt Jonsson. Inferring Semantic Interfaces of Data Structures. In Tiziana Margaria, Bernhard Steffen, editors, Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change - 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I. Volume 7609 of Lecture Notes in Computer Science, pages 554-571, Springer, 2012. [doi]
Abstract is missing.