%0 Conference Paper %1 conf/isola/HowarISBJ12 %A Howar, Falk %A Isberner, Malte %A Steffen, Bernhard %A Bauer, Oliver %A Jonsson, Bengt %B ISoLA (1) %D 2012 %E Margaria, Tiziana %E Steffen, Bernhard %I Springer %K dblp %P 554-571 %T Inferring Semantic Interfaces of Data Structures. %U http://dblp.uni-trier.de/db/conf/isola/isola2012-1.html#HowarISBJ12 %V 7609 %@ 978-3-642-34025-3

@inproceedings{conf/isola/HowarISBJ12, added-at = {2017-06-04T00:00:00.000+0200}, author = {Howar, Falk and Isberner, Malte and Steffen, Bernhard and Bauer, Oliver and Jonsson, Bengt}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2ac80d573c3f7a4d585ed9f9b1c4b465d/dblp}, booktitle = {ISoLA (1)}, crossref = {conf/isola/2012-1}, editor = {Margaria, Tiziana and Steffen, Bernhard}, ee = {https://doi.org/10.1007/978-3-642-34026-0_41}, interhash = {2cc04d900524fc4dc6f4beae8fe46634}, intrahash = {ac80d573c3f7a4d585ed9f9b1c4b465d}, isbn = {978-3-642-34025-3}, keywords = {dblp}, pages = {554-571}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-27T13:48:16.000+0200}, title = {Inferring Semantic Interfaces of Data Structures.}, url = {http://dblp.uni-trier.de/db/conf/isola/isola2012-1.html#HowarISBJ12}, volume = 7609, year = 2012 }