Chenguang Luo. Verification of pointer-based programs with partial information. PhD thesis, Durham University, UK, 2011. [doi]
@phdthesis{ethos-3090, title = {Verification of pointer-based programs with partial information}, author = {Chenguang Luo}, year = {2011}, url = {http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.527756}, note = {British Library, EThOS}, researchr = {https://researchr.org/publication/ethos-3090}, cites = {0}, citedby = {0}, school = {Durham University, UK}, }