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

First Author: Sampaio G
Attributed to:  VeTSpec: Verified Trustworthy Software Specification funded by SPF

Abstract

No abstract provided

Bibliographic Information

Publication URI: https://doi.org/10.4230/LIPIcs.ECOOP.2020.28

Type: Conference/Paper/Proceeding/Abstract

Volume: 166