An infrastructure for tractable verification of JavaScript programs - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Daiva Naudziuniene. An infrastructure for tractable verification of JavaScript programs. PhD thesis, Imperial College London, UK, 2017. [doi]

@phdthesis{ethos-13045,
  title = {An infrastructure for tractable verification of JavaScript programs},
  author = {Daiva Naudziuniene},
  year = {2017},
  url = {http://hdl.handle.net/10044/1/59355},
  note = {British Library, EThOS},
  researchr = {https://researchr.org/publication/ethos-13045},
  cites = {0},
  citedby = {0},
  school = {Imperial College London, UK},
}

runs on WebDSL