1
Published 2015
Table of Contents: ...A Trusted Mechanised Specification of JavaScript: One Year On -- Model Checking and Refinements...
View full text
Electronic eBook