Recurrent sets for non-termination and safety of programs - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Alexey Bakhirkin. Recurrent sets for non-termination and safety of programs. PhD thesis, University of Leicester, UK, 2016. [doi]

@phdthesis{ethos-11688,
  title = {Recurrent sets for non-termination and safety of programs},
  author = {Alexey Bakhirkin},
  year = {2016},
  url = {http://hdl.handle.net/2381/38120},
  note = {British Library, EThOS},
  researchr = {https://researchr.org/publication/ethos-11688},
  cites = {0},
  citedby = {0},
  school = {University of Leicester, UK},
}

runs on WebDSL