Verification of a model checking algorithm in VerCors. Hollander, J. August, 2021.
Verification of a model checking algorithm in VerCors [link]Paper  bibtex   
@misc{Hollander2021,
  month = {August},
  title = {Verification of a model checking algorithm in VerCors},
  year = {2021},
  author = {J.P. {Hollander}},
  url = {http://essay.utwente.nl/88268/},
}

Downloads: 0