%0 Conference Paper %1 conf/sas/VechevYRS10 %A Vechev, Martin T. %A Yahav, Eran %A Raman, Raghavan %A Sarkar, Vivek %B SAS %D 2010 %E Cousot, Radhia %E Martel, Matthieu %I Springer %K dblp %P 455-471 %T Automatic Verification of Determinism for Structured Parallel Programs. %U http://dblp.uni-trier.de/db/conf/sas/sas2010.html#VechevYRS10 %V 6337 %@ 978-3-642-15768-4

@inproceedings{conf/sas/VechevYRS10, added-at = {2017-05-24T00:00:00.000+0200}, author = {Vechev, Martin T. and Yahav, Eran and Raman, Raghavan and Sarkar, Vivek}, biburl = {https://www.bibsonomy.org/bibtex/2d9cb0bd717e29e2df1e1e881d4513339/dblp}, booktitle = {SAS}, crossref = {conf/sas/2010}, editor = {Cousot, Radhia and Martel, Matthieu}, ee = {https://doi.org/10.1007/978-3-642-15769-1_28}, interhash = {74cda322a5d2ed4cd69bc3955b1dfa2f}, intrahash = {d9cb0bd717e29e2df1e1e881d4513339}, isbn = {978-3-642-15768-4}, keywords = {dblp}, pages = {455-471}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T13:45:25.000+0200}, title = {Automatic Verification of Determinism for Structured Parallel Programs.}, url = {http://dblp.uni-trier.de/db/conf/sas/sas2010.html#VechevYRS10}, volume = 6337, year = 2010 }