A Formal Semantics of the Core DOM in Isabelle/HOL
Achim D. Brucker, Michael Herzberg
- Anthology ID:
- DBLP:conf/www/BruckerH18
- Volume:
- Companion of the The Web Conference 2018 on The Web Conference 2018, WWW 2018, Lyon , France, April 23-27, 2018
- Year:
- 2018
- Venue:
- wwwconf_conference
- Publisher:
- ACM
- Pages:
- 741–749
- URL:
- https://doi.org/10.1145/3184558.3185980
- DOI:
- 10.1145/3184558.3185980
- DBLP:
- conf/www/BruckerH18