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

researchr

You are not signed in
Sign in
Sign up

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

@phdthesis{ethos-12422,
  title = {Safety-Critical Java Level 2: applications, modelling, and verification},
  author = {Matthew Luckcuck},
  year = {2016},
  url = {http://etheses.whiterose.ac.uk/17743/},
  note = {British Library, EThOS},
  researchr = {https://researchr.org/publication/ethos-12422},
  cites = {0},
  citedby = {0},
  school = {University of York, UK},
}

runs on WebDSL