A Formal Semantics of the Core DOM in Isabelle/HOL.

@inproceedings{brucker-2018-formal, author = {Achim D. Brucker and Michael Herzberg}, editor = {Pierre-Antoine Champin and Fabien Gandon and Mounia Lalmas-Roelleke and Panagiotis G. Ipeirotis}, title = {{A Formal Semantics of the Core DOM in Isabelle/HOL}}, booktitle = {{Companion Proceedings of the The Web Conference 2018, WWW 2018, Lyon , France, April 23-27, 2018}}, pages = {741--749}, publisher = {ACM}, year = {2018}, url = {https://doi.org/10.1145/3184558.3185980}, doi = {https://doi.org/10.1145/3184558.3185980} }