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

Achim D. Brucker, Michael Herzberg

Browse the full WWW paper archive.