@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/},
}

{"_id":"XfH6NoXgWJKy2qCA8","bibbaseid":"hollander-verificationofamodelcheckingalgorithminvercors-2021","author_short":["Hollander, J."],"bibdata":{"bibtype":"misc","type":"misc","month":"August","title":"Verification of a model checking algorithm in VerCors","year":"2021","author":[{"firstnames":["J.P."],"propositions":[],"lastnames":["Hollander"],"suffixes":[]}],"url":"http://essay.utwente.nl/88268/","bibtex":"@misc{Hollander2021,\n month = {August},\n title = {Verification of a model checking algorithm in VerCors},\n year = {2021},\n author = {J.P. {Hollander}},\n url = {http://essay.utwente.nl/88268/},\n}\n\n\n","author_short":["Hollander, J."],"key":"Hollander2021","id":"Hollander2021","bibbaseid":"hollander-verificationofamodelcheckingalgorithminvercors-2021","role":"author","urls":{"Paper":"http://essay.utwente.nl/88268/"},"metadata":{"authorlinks":{}},"downloads":3},"bibtype":"misc","biburl":"https://raw.githubusercontent.com/utwente-fmt/vercors-web/master/static/references.bib","dataSources":["2tJugFYAignELAmZo","zT4KxAXTKvhK2Hrr4","cCvCnPTRQYq3qPe9y"],"keywords":[],"search_terms":["verification","model","checking","algorithm","vercors","hollander"],"title":"Verification of a model checking algorithm in VerCors","year":2021,"downloads":3}