%0 Conference Paper %1 journals/corr/AhmadC16 %A Ahmad, Maaz Bin Safeer %A Cheung, Alvin %B SYNT@CAV %D 2016 %E Piskac, Ruzica %E Dimitrova, Rayna %K %P 67-83 %T Leveraging Parallel Data Processing Frameworks with Verified Lifting. %U http://dblp.uni-trier.de/db/series/eptcs/eptcs229.html#AhmadC16 %V 229

@inproceedings{journals/corr/AhmadC16, added-at = {2023-12-13T06:02:02.000+0100}, author = {Ahmad, Maaz Bin Safeer and Cheung, Alvin}, biburl = {https://www.bibsonomy.org/bibtex/29f6a5342ef742a5ad34ab5b691c1a3aa/admin}, booktitle = {SYNT@CAV}, crossref = {journals/corr/PiskacD16}, editor = {Piskac, Ruzica and Dimitrova, Rayna}, ee = {http://arxiv.org/abs/1611.07623}, interhash = {a9923da3e5f343b3672d2f6139798555}, intrahash = {9f6a5342ef742a5ad34ab5b691c1a3aa}, keywords = {}, pages = {67-83}, series = {EPTCS}, timestamp = {2023-12-13T06:02:02.000+0100}, title = {Leveraging Parallel Data Processing Frameworks with Verified Lifting.}, url = {http://dblp.uni-trier.de/db/series/eptcs/eptcs229.html#AhmadC16}, volume = 229, year = 2016 }