%0 Conference Paper %1 conf/ppdp/SantosMGDG18 %A Santos, José Fragoso %A Maksimovic, Petar %A Grohens, Théotime %A Dolby, Julian %A Gardner, Philippa %B PPDP %D 2018 %E Sabel, David %E Thiemann, Peter %I ACM %K dblp %P 11:1-11:14 %T Symbolic Execution for JavaScript. %U http://dblp.uni-trier.de/db/conf/ppdp/ppdp2018.html#SantosMGDG18

@inproceedings{conf/ppdp/SantosMGDG18, added-at = {2019-09-25T00:00:00.000+0200}, author = {Santos, José Fragoso and Maksimovic, Petar and Grohens, Théotime and Dolby, Julian and Gardner, Philippa}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2628bcbcdaa99d5bb858f0fab74539f36/dblp}, booktitle = {PPDP}, crossref = {conf/ppdp/2018}, editor = {Sabel, David and Thiemann, Peter}, ee = {https://doi.org/10.1145/3236950.3236956}, interhash = {532dbf978afdaf14fb2be0f84783ccb1}, intrahash = {628bcbcdaa99d5bb858f0fab74539f36}, keywords = {dblp}, pages = {11:1-11:14}, publisher = {ACM}, timestamp = {2019-09-27T16:46:20.000+0200}, title = {Symbolic Execution for JavaScript.}, url = {http://dblp.uni-trier.de/db/conf/ppdp/ppdp2018.html#SantosMGDG18}, year = 2018 }