%0 Thesis %1 phd/ethos/Sylva84 %A Sylva, K. L. J. %D 1984 %K dblp %T A theoretical and practical study of low-level program verification.

@phdthesis{phd/ethos/Sylva84, added-at = {2022-04-05T00:00:00.000+0200}, author = {Sylva, K. L. J.}, biburl = {https://www.bibsonomy.org/bibtex/2c7831460cceeb01cf4e16f523512650c/dblp}, ee = {https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.351681}, interhash = {114700449af102482d904c08a54ee036}, intrahash = {c7831460cceeb01cf4e16f523512650c}, keywords = {dblp}, note = {British Library, EThOS}, school = {University of Kent, UK}, timestamp = {2024-04-09T08:44:59.000+0200}, title = {A theoretical and practical study of low-level program verification.}, year = 1984 }