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]

Bibliographies