%0 Conference Paper %1 conf/cav/GrossmanCIRS17 %A Grossman, Shelly %A Cohen, Sara %A Itzhaky, Shachar %A Rinetzky, Noam %A Sagiv, Mooly %B CAV (2) %D 2017 %E Majumdar, Rupak %E Kuncak, Viktor %I Springer %K dblp %P 282-300 %T Verifying Equivalence of Spark Programs. %U http://dblp.uni-trier.de/db/conf/cav/cav2017-2.html#GrossmanCIRS17 %V 10427 %@ 978-3-319-63390-9

@inproceedings{conf/cav/GrossmanCIRS17, added-at = {2017-07-14T00:00:00.000+0200}, author = {Grossman, Shelly and Cohen, Sara and Itzhaky, Shachar and Rinetzky, Noam and Sagiv, Mooly}, biburl = {https://www.bibsonomy.org/bibtex/2d1dc5e687871a6bf05ee1aee36349a4e/dblp}, booktitle = {CAV (2)}, crossref = {conf/cav/2017-2}, editor = {Majumdar, Rupak and Kuncak, Viktor}, ee = {https://doi.org/10.1007/978-3-319-63390-9_15}, interhash = {030de641604b9e3c38f8d1327d35ba15}, intrahash = {d1dc5e687871a6bf05ee1aee36349a4e}, isbn = {978-3-319-63390-9}, keywords = {dblp}, pages = {282-300}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T14:39:00.000+0200}, title = {Verifying Equivalence of Spark Programs.}, url = {http://dblp.uni-trier.de/db/conf/cav/cav2017-2.html#GrossmanCIRS17}, volume = 10427, year = 2017 }