Commit 303f93c8 authored by Teresa Carbajo-Garcia's avatar Teresa Carbajo-Garcia
Browse files

Update publications.bib

parent e472ce67
......@@ -1671,16 +1671,16 @@ generator for flow-sensitive analysis. We prove general consistency results betw
only on simple language-dependent lemmas. We illustrate our ideas using a simple While language.},
}
@inproceedings{Gardner2018JaVerT,
author = {Philippa Gardner},
title = {JaVerT: JavaScript Verification and Testing Framework: Invited Talk},
booktitle = {Proceedings of the 20th International Symposium on Principles and
@InProceedings{Gardner2018JaVerT,
author = {Philippa Gardner},
title = {JaVerT: JavaScript Verification and Testing Framework: Invited Talk},
booktitle = {Proceedings of the 20th International Symposium on Principles and
Practice of Declarative Programming, {PPDP} 2018, Frankfurt am Main,
Germany, September 03-05, 2018},
pages = {1:1--1:4},
month = sep,
year = {2018},
project = { web },
pages = {1:1--1:4},
month = sep,
year = {2018},
project = { web },
doi = {10.1145/3236950.3236974},
abstract = {We present a novel, unified approach to the development of compositional
symbolic execution tools, which bridges the gap between
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment