@dblp

A Trusted Mechanised Specification of JavaScript: One Year On.

, , , und . CAV (1), Volume 9206 von Lecture Notes in Computer Science, Seite 3-10. Springer, (2015)

Links und Ressourcen

Tags