%0 Thesis %1 phd/ethos/Trafford97 %A Trafford, Paul Joseph %D 1997 %K dblp %T The use of formal methods for safety-critical systems.

@phdthesis{phd/ethos/Trafford97, added-at = {2022-04-05T00:00:00.000+0200}, author = {Trafford, Paul Joseph}, biburl = {https://www.bibsonomy.org/bibtex/20c07d11e9653715a89ce677ec8731f75/dblp}, ee = {https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.363107}, interhash = {dbdf634fb4aa5a3c912057ef02e07020}, intrahash = {0c07d11e9653715a89ce677ec8731f75}, keywords = {dblp}, note = {British Library, EThOS}, school = {Kingston University, Kingston upon Thames, London, UK}, timestamp = {2024-04-09T08:50:14.000+0200}, title = {The use of formal methods for safety-critical systems.}, year = 1997 }