Safety-Critical Java Level 2: applications, modelling, and verification

Matthew Luckcuck. Safety-Critical Java Level 2: applications, modelling, and verification. PhD thesis, University of York, UK, 2016. [doi]

Abstract

Abstract is missing.