Achim D. Brucker

2018

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