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

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 (e.g. uk.bl.ethos.123456): uk.bl.ethos.817750
Depositing User: Michael Herzberg
Date Deposited: 16 Nov 2020 02:25
Last Modified: 25 Mar 2021 16:52

Download

Final eThesis - complete (pdf)

Filename: herzberg-michael-phd-thesis.pdf

Licence: CC-BY-NC-ND 4.0

Share / Export


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.