Alexander Kaiser 0001. Monotonicity in shared-memory program verification. PhD thesis, University of Oxford, UK, 2013. [doi]
@phdthesis{ethos-1473, title = {Monotonicity in shared-memory program verification}, author = {Alexander Kaiser 0001}, year = {2013}, url = {http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.581399}, note = {British Library, EThOS}, researchr = {https://researchr.org/publication/ethos-1473}, cites = {0}, citedby = {0}, school = {University of Oxford, UK}, }