Formal Foundations for Provably Safe Web Components

Herzberg, Michael ORCID: 0000-0003-2781-2837 (2019) Formal Foundations for Provably Safe Web Components. PhD thesis, University of Sheffield.

Abstract

Metadata

Supervisors: Brucker, Achim D.
Related URLs:
Keywords: Isabelle/HOL,Formal Verification,Formal Methods,Web Components,DOM,HTML,Web Standards
Awarding institution: University of Sheffield
Academic Units: The University of Sheffield > Faculty of Engineering (Sheffield) > Computer Science (Sheffield)
The University of Sheffield > Faculty of Science (Sheffield) > Computer Science (Sheffield)
Identification Number/EthosID: uk.bl.ethos.817750
Depositing User: Michael Herzberg
Date Deposited: 16 Nov 2020 02:25
Last Modified: 25 Mar 2021 16:52

Export

Statistics


You do not need to contact us to get a copy of this thesis. Please use the 'Download' link(s) above to get a copy.
You can contact us about this thesis. If you need to make a general enquiry, please see the Contact us page.