2016 Sepcial Track on Computer Security (2016)

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: 2

ISBN: 9781450337397