A Formal Model of the Document Object Model with Shadow Roots
From MaRDI portal
- An extensible encoding of object-oriented data models in HOL. With an application to IMP++
- DOM: Specification and Client Reasoning
- Higher order logic theorem proving and its applications. 6th International Workshop, HUG '93, Vancouver, B. C., Canada, August 11-13, 1993. Proceedings
- Isabelle/HOL. A proof assistant for higher-order logic
- On theorem prover-based testing
- Operating system verification---an overview
- Programming languages and systems. 14th Asian symposium, APLAS 2016, Hanoi, Vietnam, November 21--23, 2016. Proceedings
This page was built for software: A Formal Model of the Document Object Model with Shadow Roots
