%0 Conference Paper %1 conf/esop/AlglaveKNT13 %A Alglave, Jade %A Kroening, Daniel %A Nimal, Vincent %A Tautschnig, Michael %B ESOP %D 2013 %E Felleisen, Matthias %E Gardner, Philippa %I Springer %K dblp %P 512-532 %T Software Verification for Weak Memory via Program Transformation. %U http://dblp.uni-trier.de/db/conf/esop/esop2013.html#AlglaveKNT13 %V 7792 %@ 978-3-642-37035-9

@inproceedings{conf/esop/AlglaveKNT13, added-at = {2018-06-26T00:00:00.000+0200}, author = {Alglave, Jade and Kroening, Daniel and Nimal, Vincent and Tautschnig, Michael}, biburl = {https://www.bibsonomy.org/bibtex/2c4a01d44f1226349b1b3d336504abf2d/dblp}, booktitle = {ESOP}, crossref = {conf/esop/2013}, editor = {Felleisen, Matthias and Gardner, Philippa}, ee = {https://doi.org/10.1007/978-3-642-37036-6_28}, interhash = {2b99cf070256c7012fffb80965352fc9}, intrahash = {c4a01d44f1226349b1b3d336504abf2d}, isbn = {978-3-642-37035-9}, keywords = {dblp}, pages = {512-532}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T20:28:48.000+0200}, title = {Software Verification for Weak Memory via Program Transformation.}, url = {http://dblp.uni-trier.de/db/conf/esop/esop2013.html#AlglaveKNT13}, volume = 7792, year = 2013 }