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]

Authors

Gabriela Sampaio

This author has not been identified. Look up 'Gabriela Sampaio' in Google

José Fragoso Santos

This author has not been identified. Look up 'José Fragoso Santos' in Google

Petar Maksimovic

This author has not been identified. Look up 'Petar Maksimovic' in Google

Philippa Gardner

This author has not been identified. Look up 'Philippa Gardner' in Google