Skip to content
Snippets Groups Projects
Commit 2b4da902 authored by Teresa Carbajo-Garcia's avatar Teresa Carbajo-Garcia
Browse files

Update publications.bib

parent f739cf5f
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
Showing
with 1 addition and 1 deletion
publications.bib
+ 1
− 1
View file @ 2b4da902
...@@ -1628,7 +1628,7 @@ invariants used to restrict the interference, and apply our reasoning to the exa ...@@ -1628,7 +1628,7 @@ invariants used to restrict the interference, and apply our reasoning to the exa
} }
@InProceedings{FragosoSantos2019JaVerT, @InProceedings{FragosoSantos2019JaVerT,
author = {Jos{\'{e}} {Fragoso Santos} and Petar Maksimovi\'{c} and Gabriela Sampaio} and Philippa Gardner, author = {Jos{\'{e}} {Fragoso Santos} and Petar Maksimovi\'{c} and Gabriela Sampaio and Philippa Gardner},
title = {JaVerT 2.0: Compositional Symbolic Execution for JavaScript}, title = {JaVerT 2.0: Compositional Symbolic Execution for JavaScript},
journal = {{PACMPL}}, journal = {{PACMPL}},
volume = {3}, volume = {3},
......
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