A trusted mechanised javascript specification (2014)
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