27 followers
RT @adbrucker: Our FACS paper https://t.co/K5rE1zFepM has a high-level description and the full details can be found in @msherzberg's PhD T…
RT @adbrucker: Our FACS paper https://t.co/K5rE1zFepM has a high-level description and the full details can be found in @msherzberg's PhD T…
Our FACS paper https://t.co/K5rE1zFepM has a high-level description and the full details can be found in @msherzberg's PhD Thesis: https://t.co/klGE4Ya9jR #DOM #FormalModel #Verification #Isabellehol #webcomponents