%0 Conference Paper %1 conf/esop/AlbarghouthiBCK15 %A Albarghouthi, Aws %A Berdine, Josh %A Cook, Byron %A Kincaid, Zachary %B ESOP %D 2015 %E Vitek, Jan %I Springer %K dblp %P 634-660 %T Spatial Interpolants. %U http://dblp.uni-trier.de/db/conf/esop/esop2015.html#AlbarghouthiBCK15 %V 9032 %@ 978-3-662-46668-1

@inproceedings{conf/esop/AlbarghouthiBCK15, added-at = {2019-08-20T00:00:00.000+0200}, author = {Albarghouthi, Aws and Berdine, Josh and Cook, Byron and Kincaid, Zachary}, biburl = {https://www.bibsonomy.org/bibtex/20a0d9de2ebb20d73dbea6b38077e64eb/dblp}, booktitle = {ESOP}, crossref = {conf/esop/2015}, editor = {Vitek, Jan}, ee = {https://doi.org/10.1007/978-3-662-46669-8_26}, interhash = {928ad04264205e31390365cb9e3e0651}, intrahash = {0a0d9de2ebb20d73dbea6b38077e64eb}, isbn = {978-3-662-46668-1}, keywords = {dblp}, pages = {634-660}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-08-21T11:57:38.000+0200}, title = {Spatial Interpolants.}, url = {http://dblp.uni-trier.de/db/conf/esop/esop2015.html#AlbarghouthiBCK15}, volume = 9032, year = 2015 }