@misc{Bos2021,
  title = {Program verification for quantum algorithms},
  author = {P. {Bos}},
  year = {2021},
  month = {June},
  url = {http://essay.utwente.nl/86508/}
}

{"_id":"Wq5qTuuanmyY4fAhi","bibbaseid":"bos-programverificationforquantumalgorithms-2021","author_short":["Bos, P."],"bibdata":{"bibtype":"misc","type":"misc","title":"Program verification for quantum algorithms","author":[{"firstnames":["P."],"propositions":[],"lastnames":["Bos"],"suffixes":[]}],"year":"2021","month":"June","url":"http://essay.utwente.nl/86508/","bibtex":"@misc{Bos2021,\n title = {Program verification for quantum algorithms},\n author = {P. {Bos}},\n year = {2021},\n month = {June},\n url = {http://essay.utwente.nl/86508/}\n}\n\n\n","author_short":["Bos, P."],"key":"Bos2021","id":"Bos2021","bibbaseid":"bos-programverificationforquantumalgorithms-2021","role":"author","urls":{"Paper":"http://essay.utwente.nl/86508/"},"metadata":{"authorlinks":{}},"downloads":1,"html":""},"bibtype":"misc","biburl":"https://raw.githubusercontent.com/utwente-fmt/vercors-web/master/static/references.bib","dataSources":["2tJugFYAignELAmZo","zT4KxAXTKvhK2Hrr4","cCvCnPTRQYq3qPe9y"],"keywords":[],"search_terms":["program","verification","quantum","algorithms","bos"],"title":"Program verification for quantum algorithms","year":2021,"downloads":1}