A Trusted Infrastructure for Symbolic Analysis of Event-Driven Web Applications

Gabriela Sampaio, José Fragoso Santos, Petar Maksimovic, Philippa Gardner. A Trusted Infrastructure for Symbolic Analysis of Event-Driven Web Applications. In Robert Hirschfeld, Tobias Pape, editors, 34th European Conference on Object-Oriented Programming, ECOOP 2020, November 15-17, 2020, Berlin, Germany (Virtual Conference). Volume 166 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019. [doi]

@inproceedings{SampaioSMG19,
  title = {A Trusted Infrastructure for Symbolic Analysis of Event-Driven Web Applications},
  author = {Gabriela Sampaio and José Fragoso Santos and Petar Maksimovic and Philippa Gardner},
  year = {2019},
  doi = {10.4230/LIPIcs.ECOOP.2020.28},
  url = {https://doi.org/10.4230/LIPIcs.ECOOP.2020.28},
  researchr = {https://researchr.org/publication/SampaioSMG19},
  cites = {0},
  citedby = {0},
  booktitle = {34th European Conference on Object-Oriented Programming, ECOOP 2020, November 15-17, 2020, Berlin, Germany (Virtual Conference)},
  editor = {Robert Hirschfeld and Tobias Pape},
  volume = {166},
  series = {LIPIcs},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik},
  isbn = {978-3-95977-154-2},
}