2015 Special Track on Computer Security (2015)

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

Abstract

No abstract provided

Bibliographic Information

Type: Other

Volume: 13-17-April-2015

Parent Publication: Proceedings of the ACM Symposium on Applied Computing