A trusted mechanised javascript specification (2014)

First Author: Bodin M.
Attributed to:  Certified Verification of Client-Side Web Programs funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Type: Journal Article/Review

Volume: 49

Parent Publication: ACM SIGPLAN Notices

Issue: 1

ISSN: 15232867