%0 Conference Paper %1 conf/vmcai/Sagiv09 %A Sagiv, Mooly %B VMCAI %D 2009 %E Jones, Neil D. %E Müller-Olm, Markus %I Springer %K dblp %P 3 %T Thread-Modular Shape Analysis. %U http://dblp.uni-trier.de/db/conf/vmcai/vmcai2009.html#Sagiv09 %V 5403 %@ 978-3-540-93899-6

@inproceedings{conf/vmcai/Sagiv09, added-at = {2018-06-26T00:00:00.000+0200}, author = {Sagiv, Mooly}, biburl = {https://www.bibsonomy.org/bibtex/286e5b17e71cab8088aa9202b3506bb98/dblp}, booktitle = {VMCAI}, crossref = {conf/vmcai/2009}, editor = {Jones, Neil D. and Müller-Olm, Markus}, ee = {https://doi.org/10.1007/978-3-540-93900-9_3}, interhash = {d8bd72a7679b83d9b8c58c085148c8ff}, intrahash = {86e5b17e71cab8088aa9202b3506bb98}, isbn = {978-3-540-93899-6}, keywords = {dblp}, pages = 3, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T14:16:49.000+0200}, title = {Thread-Modular Shape Analysis.}, url = {http://dblp.uni-trier.de/db/conf/vmcai/vmcai2009.html#Sagiv09}, volume = 5403, year = 2009 }