@unpublished{ correctnessfixpoints,
  title = {Partial and total correctness as greatest and least fixed points},
  author = {Wickerson, John},
  year = {2009},
  note = {Unpublished note},
  type = {other},
  url_manuscript = {papers/Partial_Total_Correctness_As_Fixed_Points.pdf},
  url_mechanisation = {Partial_Total_Correctness_As_Fixed_Points.thy},
}

{"_id":"D3c9qudyZ5yYTt4uY","bibbaseid":"wickerson-partialandtotalcorrectnessasgreatestandleastfixedpoints-2009","authorIDs":["hDcqGnFzpcrD6sSDt"],"author_short":["Wickerson, J."],"bibdata":{"bibtype":"unpublished","type":"other","title":"Partial and total correctness as greatest and least fixed points","author":[{"propositions":[],"lastnames":["Wickerson"],"firstnames":["John"],"suffixes":[]}],"year":"2009","note":"Unpublished note","url_manuscript":"papers/Partial_Total_Correctness_As_Fixed_Points.pdf","url_mechanisation":"Partial_Total_Correctness_As_Fixed_Points.thy","bibtex":"@unpublished{ correctnessfixpoints,\n title = {Partial and total correctness as greatest and least fixed points},\n author = {Wickerson, John},\n year = {2009},\n note = {Unpublished note},\n type = {other},\n url_manuscript = {papers/Partial_Total_Correctness_As_Fixed_Points.pdf},\n url_mechanisation = {Partial_Total_Correctness_As_Fixed_Points.thy},\n}\n\n","author_short":["Wickerson, J."],"key":"correctnessfixpoints","id":"correctnessfixpoints","bibbaseid":"wickerson-partialandtotalcorrectnessasgreatestandleastfixedpoints-2009","role":"author","urls":{" manuscript":"http://johnwickerson.github.io/papers/Partial_Total_Correctness_As_Fixed_Points.pdf"," mechanisation":"http://johnwickerson.github.io/Partial_Total_Correctness_As_Fixed_Points.thy"},"metadata":{"authorlinks":{}},"downloads":0,"html":""},"bibtype":"unpublished","biburl":"http://johnwickerson.github.io/john.bib","creationDate":"2020-11-18T02:41:19.178Z","downloads":0,"keywords":[],"search_terms":["partial","total","correctness","greatest","fixed","points","wickerson"],"title":"Partial and total correctness as greatest and least fixed points","year":2009,"dataSources":["uwKsyN4JQqFqb3dfX"]}