[ACM Press Companion of the The Web Conference 2018 - Lyon, France (2018.04.23-2018.04.27)] Companion of the The Web Conference 2018 on The Web Conference 2018 - WWW '18 - A Formal Semantics of the Core DOM in Isabelle/HOL
Brucker, Achim D., Herzberg, MichaelYear:
2018
Language:
english
DOI:
10.1145/3184558.3185980
File:
PDF, 1.10 MB
english, 2018