Kevin Lano. Refinement and Safety Analysis. In Peter Daniel, editor, 16th International Conference on Computer Safety, Reliability and Security, Safe Comp 1997, York, UK, September 7-10, 1997. pages 223-240, Springer, 1997. [doi]
@inproceedings{Lano97-0,
title = {Refinement and Safety Analysis},
author = {Kevin Lano},
year = {1997},
doi = {10.1007/978-1-4471-0997-6_18},
url = {https://doi.org/10.1007/978-1-4471-0997-6_18},
researchr = {https://researchr.org/publication/Lano97-0},
cites = {0},
citedby = {0},
pages = {223-240},
booktitle = {16th International Conference on Computer Safety, Reliability and Security, Safe Comp 1997, York, UK, September 7-10, 1997},
editor = {Peter Daniel},
publisher = {Springer},
isbn = {978-3-540-76191-4},
}