{"_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","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":{}},"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"]}