Gabriela Sampaio, José Fragoso Santos, Petar Maksimovic, Philippa Gardner. A Trusted Infrastructure for Symbolic Analysis of Event-Driven Web Applications (Artifact). DARTS, 6(2), 2020. [doi]
@article{SampaioSMG20,
title = {A Trusted Infrastructure for Symbolic Analysis of Event-Driven Web Applications (Artifact)},
author = {Gabriela Sampaio and José Fragoso Santos and Petar Maksimovic and Philippa Gardner},
year = {2020},
doi = {10.4230/DARTS.6.2.5},
url = {https://doi.org/10.4230/DARTS.6.2.5},
researchr = {https://researchr.org/publication/SampaioSMG20},
cites = {0},
citedby = {0},
journal = {DARTS},
volume = {6},
number = {2},
}