%0 Thesis %1 phd/ethos/Luo11a %A Luo, Chenguang %D 2011 %K %T Verification of pointer-based programs with partial information.

@phdthesis{phd/ethos/Luo11a, added-at = {2023-12-13T09:18:27.000+0100}, author = {Luo, Chenguang}, biburl = {https://www.bibsonomy.org/bibtex/29c7c155bf6711abdb053735dcc78e748/admin}, ee = {http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.527756}, interhash = {cccc8d4316be50e8fe9a18c182f4af37}, intrahash = {9c7c155bf6711abdb053735dcc78e748}, keywords = {}, note = {British Library, EThOS}, school = {Durham University, UK}, timestamp = {2023-12-13T09:18:27.000+0100}, title = {Verification of pointer-based programs with partial information.}, year = 2011 }