%0 Conference Paper %1 conf/esop/BouajjaniEEH13 %A Bouajjani, Ahmed %A Emmi, Michael %A Enea, Constantin %A Hamza, Jad %B ESOP %D 2013 %E Felleisen, Matthias %E Gardner, Philippa %I Springer %K dblp %P 290-309 %T Verifying Concurrent Programs against Sequential Specifications. %U http://dblp.uni-trier.de/db/conf/esop/esop2013.html#BouajjaniEEH13 %V 7792 %@ 978-3-642-37035-9

@inproceedings{conf/esop/BouajjaniEEH13, added-at = {2018-06-26T00:00:00.000+0200}, author = {Bouajjani, Ahmed and Emmi, Michael and Enea, Constantin and Hamza, Jad}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/22289d10b6f31858a35a0ccd55c45e7f2/dblp}, booktitle = {ESOP}, crossref = {conf/esop/2013}, editor = {Felleisen, Matthias and Gardner, Philippa}, ee = {https://doi.org/10.1007/978-3-642-37036-6_17}, interhash = {1d762598b245c167c4630f36b70563c1}, intrahash = {2289d10b6f31858a35a0ccd55c45e7f2}, isbn = {978-3-642-37035-9}, keywords = {dblp}, pages = {290-309}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-27T14:30:21.000+0200}, title = {Verifying Concurrent Programs against Sequential Specifications.}, url = {http://dblp.uni-trier.de/db/conf/esop/esop2013.html#BouajjaniEEH13}, volume = 7792, year = 2013 }