Patrick J. McParland. Software tools to support formal methods. PhD thesis, Queen's University Belfast, UK, 1989. [doi]
@phdthesis{ethos-9135, title = {Software tools to support formal methods}, author = {Patrick J. McParland}, year = {1989}, url = {http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.292757}, note = {British Library, EThOS}, researchr = {https://researchr.org/publication/ethos-9135}, cites = {0}, citedby = {0}, school = {Queen's University Belfast, UK}, }