Andrew Simpson, Jim Woodcock, Jim Davies. Safety through Security. In Proceedings of the 9th International Workshop on Software Specification and Design, IWSSD 1998, USA, April 16-18, 1998. pages 18-24, IEEE Computer Society, 1998. [doi]
@inproceedings{SimpsonWD98,
title = {Safety through Security},
author = {Andrew Simpson and Jim Woodcock and Jim Davies},
year = {1998},
url = {https://dl.acm.org/doi/10.5555/857205.858300},
researchr = {https://researchr.org/publication/SimpsonWD98},
cites = {0},
citedby = {0},
pages = {18-24},
booktitle = {Proceedings of the 9th International Workshop on Software Specification and Design, IWSSD 1998, USA, April 16-18, 1998},
publisher = {IEEE Computer Society},
isbn = {978-0-8186-8439-5},
}