doi dblp A Formal Semantics of the Core DOM in Isabelle/HOL Achim D. Brucker | Michael Herzberg Companion of the The Web Conference 2018 on The Web Conference 2018, WWW 2018, Lyon , France, April 23-27, 2018