Login / Signup

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

Gabriela SampaioJosé Fragoso SantosPetar MaksimovicPhilippa 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