D. L. Clutterbuck. The validation and verification of low-level code. PhD thesis, University of Southampton, UK, 1986. [doi]
@phdthesis{ethos-8885, title = {The validation and verification of low-level code}, author = {D. L. Clutterbuck}, year = {1986}, url = {http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.373570}, note = {British Library, EThOS}, researchr = {https://researchr.org/publication/ethos-8885}, cites = {0}, citedby = {0}, school = {University of Southampton, UK}, }