An Infrastructure for Tractable Verification of JavaScript Programs (2017)

First Author: Naudziuniene, D.
Attributed to:  Certified Verification of Client-Side Web Programs funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Publication URI: https://vtss.doc.ic.ac.uk/publications/Naudziuniene2018Infrastructure.pdf

Type: Thesis