RT @adbrucker: The updated and extended formalization of our WWW paper on formalizing the DOM https://t.co/8HxQgWhCEb is finally online (au…
27 followers
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
27 followers
RT @adbrucker: The slides from our @msherzberg talk at TAP 2018 on formalizing (Web) standards are available here: https://t.co/FiHaC5Vu9B…
411 followers
The slides from our @msherzberg talk at TAP 2018 on formalizing (Web) standards are available here: https://t.co/FiHaC5Vu9B (the paper is available here https://t.co/6DCurRNBtA and/or here https://t.co/8HxQgWhCEb #staf2018 #tap2018