%0 Thesis %1 phd/ethos/Blow02 %A Blow, James Raymond %D 2002 %K dblp %T Use of formal methods in the development of safety critical control software.

@phdthesis{phd/ethos/Blow02, added-at = {2022-04-05T00:00:00.000+0200}, author = {Blow, James Raymond}, biburl = {https://www.bibsonomy.org/bibtex/2618ac147fca018c73b53b92cc2874730/dblp}, ee = {https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.288811}, interhash = {2f35d6df0b855c5d10aebfdd0e5911a6}, intrahash = {618ac147fca018c73b53b92cc2874730}, keywords = {dblp}, note = {British Library, EThOS}, school = {University of York, UK}, timestamp = {2024-04-09T08:50:20.000+0200}, title = {Use of formal methods in the development of safety critical control software.}, year = 2002 }