%0 Conference Paper %1 conf/tacas/MattareiBGNS18 %A Mattarei, Cristian %A Barrett, Clark W. %A yu Guo, Shu %A Nelson, Bradley %A Smith, Ben %B TACAS (2) %D 2018 %E Beyer, Dirk %E Huisman, Marieke %I Springer %K dblp %P 55-71 %T EMME: A Formal Tool for ECMAScript Memory Model Evaluation. %U http://dblp.uni-trier.de/db/conf/tacas/tacas2018-2.html#MattareiBGNS18 %V 10806 %@ 978-3-319-89963-3

@inproceedings{conf/tacas/MattareiBGNS18, added-at = {2019-06-24T00:00:00.000+0200}, author = {Mattarei, Cristian and Barrett, Clark W. and yu Guo, Shu and Nelson, Bradley and Smith, Ben}, biburl = {https://www.bibsonomy.org/bibtex/2ef51d3e70876836173261326a4b90c4d/dblp}, booktitle = {TACAS (2)}, crossref = {conf/tacas/2018-2}, editor = {Beyer, Dirk and Huisman, Marieke}, ee = {https://doi.org/10.1007/978-3-319-89963-3_4}, interhash = {a2662eac47ca043daaf84607ebcd5c56}, intrahash = {ef51d3e70876836173261326a4b90c4d}, isbn = {978-3-319-89963-3}, keywords = {dblp}, pages = {55-71}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T20:56:41.000+0200}, title = {EMME: A Formal Tool for ECMAScript Memory Model Evaluation.}, url = {http://dblp.uni-trier.de/db/conf/tacas/tacas2018-2.html#MattareiBGNS18}, volume = 10806, year = 2018 }