%0 Conference Paper %1 conf/vmcai/MarronMSK10 %A Marron, Mark %A Majumdar, Rupak %A Stefanovic, Darko %A Kapur, Deepak %B VMCAI %D 2010 %E Barthe, Gilles %E Hermenegildo, Manuel V. %I Springer %K dblp %P 247-262 %T Shape Analysis with Reference Set Relations. %U http://dblp.uni-trier.de/db/conf/vmcai/vmcai2010.html#MarronMSK10 %V 5944 %@ 978-3-642-11318-5

@inproceedings{conf/vmcai/MarronMSK10, added-at = {2017-05-24T00:00:00.000+0200}, author = {Marron, Mark and Majumdar, Rupak and Stefanovic, Darko and Kapur, Deepak}, biburl = {https://www.bibsonomy.org/bibtex/2435ba35ae774ba5bf118ccc9d54746d8/dblp}, booktitle = {VMCAI}, crossref = {conf/vmcai/2010}, editor = {Barthe, Gilles and Hermenegildo, Manuel V.}, ee = {https://doi.org/10.1007/978-3-642-11319-2_19}, interhash = {f099ed9800f7ed78b940f98db89a2ddd}, intrahash = {435ba35ae774ba5bf118ccc9d54746d8}, isbn = {978-3-642-11318-5}, keywords = {dblp}, pages = {247-262}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-10-22T13:32:53.000+0200}, title = {Shape Analysis with Reference Set Relations.}, url = {http://dblp.uni-trier.de/db/conf/vmcai/vmcai2010.html#MarronMSK10}, volume = 5944, year = 2010 }