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

Gabriela Sampaio, Jos Fragoso Santos, Petar Maksimovic, Philippa Gardner

Browse the full ECOOP paper archive.