A Trusted Infrastructure for Symbolic Analysis of Event-based Web APIs (2022)

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

Abstract

No abstract provided

Bibliographic Information

Publication URI: https://www.doc.ic.ac.uk/~pg/publications/Sampaio2022Trusted.pdf

Type: Thesis