428 followers
653 followers
27 followers
RT @adbrucker: The updated and extended formalization of our WWW paper on formalizing the DOM https://t.co/8HxQgWhCEb is finally online (au…
411 followers
The updated and extended formalization of our WWW paper on formalizing the DOM https://t.co/8HxQgWhCEb is finally online (author copy: https://t.co/1Suz8jtNO8). #DOM #HOL #IsabelleHOL #FormalSemantics @msherzberg @shefcompsci