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

Update publications.bib

parent bff9dc1f
......@@ -1628,7 +1628,7 @@ invariants used to restrict the interference, and apply our reasoning to the exa
author = {Jos{\'{e}} {Fragoso Santos} and Philippa Gardner and Petar Maksimovi\'{c} and Gabriela Sampaio},
author = {Jos{\'{e}} {Fragoso Santos} and Petar Maksimovi\'{c} and Gabriela Sampaio} and Philippa Gardner,
title = {JaVerT 2.0: Compositional Symbolic Execution for JavaScript},
journal = {{PACMPL}},
volume = {3},
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