%0 Conference Paper %1 conf/cbms/ElliottMT94 %A Elliott, Lynn %A Mojdehbakhsh, Ramin %A Tsai, Wei-Tek %B CBMS %D 1994 %I IEEE Computer Society %K dblp %P 241-246 %T A process for developing safe software. %U http://dblp.uni-trier.de/db/conf/cbms/cbms1994.html#ElliottMT94 %@ 0-8186-6256-5

@inproceedings{conf/cbms/ElliottMT94, added-at = {2017-05-23T00:00:00.000+0200}, author = {Elliott, Lynn and Mojdehbakhsh, Ramin and Tsai, Wei-Tek}, biburl = {https://www.bibsonomy.org/bibtex/2a57dcf98bb877d3cfb2e67992e5694f2/dblp}, booktitle = {CBMS}, crossref = {conf/cbms/1994}, ee = {https://doi.org/10.1109/CBMS.1994.316019}, interhash = {a1b96ac1f8b2d79430ee9c5cb7b74819}, intrahash = {a57dcf98bb877d3cfb2e67992e5694f2}, isbn = {0-8186-6256-5}, keywords = {dblp}, pages = {241-246}, publisher = {IEEE Computer Society}, timestamp = {2019-10-17T19:33:07.000+0200}, title = {A process for developing safe software.}, url = {http://dblp.uni-trier.de/db/conf/cbms/cbms1994.html#ElliottMT94}, year = 1994 }