%0 Conference Paper %1 conf/usenix/PinaGAC17 %A Pina, Luís %A Grumberg, Daniel %A Andronidis, Anastasios %A Cadar, Cristian %B USENIX Annual Technical Conference %D 2017 %E Silva, Dilma Da %E Ford, Bryan %I USENIX Association %K dblp %P 417-429 %T A DSL Approach to Reconcile Equivalent Divergent Program Executions. %U http://dblp.uni-trier.de/db/conf/usenix/usenix2017.html#PinaGAC17

@inproceedings{conf/usenix/PinaGAC17, added-at = {2021-02-01T00:00:00.000+0100}, author = {Pina, Luís and Grumberg, Daniel and Andronidis, Anastasios and Cadar, Cristian}, biburl = {https://www.bibsonomy.org/bibtex/201e95b623c3edac1d469088ba859fc6a/dblp}, booktitle = {USENIX Annual Technical Conference}, crossref = {conf/usenix/2017}, editor = {Silva, Dilma Da and Ford, Bryan}, ee = {https://www.usenix.org/conference/atc17/technical-sessions/presentation/pina}, interhash = {78b02ebca2f79a0cfb6a4f2740ad32dd}, intrahash = {01e95b623c3edac1d469088ba859fc6a}, keywords = {dblp}, pages = {417-429}, publisher = {USENIX Association}, timestamp = {2024-04-09T19:09:56.000+0200}, title = {A DSL Approach to Reconcile Equivalent Divergent Program Executions.}, url = {http://dblp.uni-trier.de/db/conf/usenix/usenix2017.html#PinaGAC17}, year = 2017 }