2016 Sepcial Track on Computer Security (2016)
Attributed to:
Certified Verification of Client-Side Web Programs
funded by
EPSRC
Abstract
No abstract provided
Bibliographic Information
Type: Other
Volume: 2
ISBN: 9781450337397