%0 Thesis %1 phd/ethos/Taylor12 %A Taylor, Ramsay %D 2012 %K %T Verification of hardware dependent software.

@phdthesis{phd/ethos/Taylor12, added-at = {2023-12-12T19:08:01.000+0100}, author = {Taylor, Ramsay}, biburl = {https://www.bibsonomy.org/bibtex/240dedad2f9846acbdf147125806fe729/admin}, ee = {http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.575744}, interhash = {1c3ce7fb71844ac1925244dc5068f0aa}, intrahash = {40dedad2f9846acbdf147125806fe729}, keywords = {}, note = {British Library, EThOS}, school = {University of Sheffield, UK}, timestamp = {2023-12-12T19:08:01.000+0100}, title = {Verification of hardware dependent software.}, year = 2012 }