Login / Signup
A Trusted Infrastructure for Symbolic Analysis of Event-Driven Web Applications (Artifact).
Gabriela Sampaio
José Fragoso Santos
Petar Maksimovic
Philippa Gardner
Published in:
Dagstuhl Artifacts Ser. (2020)
Keyphrases
</>
web applications
event driven
application development
web browser
end users
database
business applications
application developers
web application development