A Trusted Mechanised Specification of JavaScript: One Year On Philippa Gardner, Gareth Smith, Conrad Watt, and Thomas Wood Imperial College London {pg,gds,cw2312,tw1509 http: jscert.org - Thomas College - Document - PDFSEARCH.IO

First Page	Meta Content
	A Trusted Mechanised Specification of JavaScript: One Year On Philippa Gardner, Gareth Smith, Conrad Watt, and Thomas Wood Imperial College London {pg,gds,cw2312,tw1509}@ic.ac.uk http://jscert.org Add to Reading List Document Date: 2015-06-01 11:06:40 Open Document File Size: 299,93 KB Share Result on Facebook

A Trusted Mechanised Specification of JavaScript: One Year On Philippa Gardner, Gareth Smith, Conrad Watt, and Thomas Wood Imperial College London {pg,gds,cw2312,tw1509}@ic.ac.uk http://jscert.orgAdd to Reading List