%0 Journal Article %1 journals/iee/BowenS93 %A Bowen, Jonathan P. %A Stavridou, Victoria %D 1993 %J Softw. Eng. J. %K dblp %N 4 %P 189-209 %T Safety-critical systems, formal methods and standards. %U http://dblp.uni-trier.de/db/journals/iee/iee-sej8.html#BowenS93 %V 8

@article{journals/iee/BowenS93, added-at = {2020-03-11T00:00:00.000+0100}, author = {Bowen, Jonathan P. and Stavridou, Victoria}, biburl = {https://www.bibsonomy.org/bibtex/27a68e469cf5442a8fcf2ea766ec93a41/dblp}, ee = {https://www.wikidata.org/entity/Q56212166}, interhash = {6348cb4f3bde0fea81fa45769d0798c5}, intrahash = {7a68e469cf5442a8fcf2ea766ec93a41}, journal = {Softw. Eng. J.}, keywords = {dblp}, number = 4, pages = {189-209}, timestamp = {2020-03-12T11:40:25.000+0100}, title = {Safety-critical systems, formal methods and standards.}, url = {http://dblp.uni-trier.de/db/journals/iee/iee-sej8.html#BowenS93}, volume = 8, year = 1993 }