%0 Journal Article %1 journals/corr/abs-1207-7264 %A Alglave, Jade %A Kroening, Daniel %A Nimal, Vincent %A Tautschnig, Michael %D 2012 %J CoRR %K dblp %T Software Verification for Weak Memory via Program Transformation %U http://dblp.uni-trier.de/db/journals/corr/corr1207.html#abs-1207-7264 %V abs/1207.7264

@article{journals/corr/abs-1207-7264, added-at = {2018-08-13T00:00:00.000+0200}, author = {Alglave, Jade and Kroening, Daniel and Nimal, Vincent and Tautschnig, Michael}, biburl = {https://www.bibsonomy.org/bibtex/2699ff9c49b8529569b0c9de674196739/dblp}, ee = {http://arxiv.org/abs/1207.7264}, interhash = {6f39858a112e1ddcdaddf85c4d123c84}, intrahash = {699ff9c49b8529569b0c9de674196739}, journal = {CoRR}, keywords = {dblp}, timestamp = {2018-08-14T13:17:23.000+0200}, title = {Software Verification for Weak Memory via Program Transformation}, url = {http://dblp.uni-trier.de/db/journals/corr/corr1207.html#abs-1207-7264}, volume = {abs/1207.7264}, year = 2012 }