Michael Herzberg

2018

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

Search
Co-authors
Venues