@dblp

A Trusted Mechanised Specification of JavaScript: One Year On.

, , , and . CAV (1), volume 9206 of Lecture Notes in Computer Science, page 3-10. Springer, (2015)

Links and resources

Tags