M. Viola. Ontario Hydro's Experience with New Methods for Engineering Safety Critical Software. In Gerhard Rabe, editor, 14th International Conference on Computer Safety, Reliability and Security, Safecomp 1995, Belgirate, Italy, October 11-13, 1995. pages 283-298, Springer, 1995. [doi]
@inproceedings{Viola95, title = {Ontario Hydro's Experience with New Methods for Engineering Safety Critical Software}, author = {M. Viola}, year = {1995}, doi = {10.1007/978-1-4471-3054-3_20}, url = {https://doi.org/10.1007/978-1-4471-3054-3_20}, researchr = {https://researchr.org/publication/Viola95}, cites = {0}, citedby = {0}, pages = {283-298}, booktitle = {14th International Conference on Computer Safety, Reliability and Security, Safecomp 1995, Belgirate, Italy, October 11-13, 1995}, editor = {Gerhard Rabe}, publisher = {Springer}, isbn = {978-3-540-19962-5}, }