N. J. Ward. The Rigorous Retrospective Static Analysis of the Sizewell 'B' Primary Protection System Software. In Janusz Górski, editor, The 12th International Conference on Computer Safety, Reliability and Security, SAFECOMP 1993, Poznań-Kiekrz, Poland, October 27-29, 1993. pages 171-181, Springer, 1993. [doi]
@inproceedings{Ward93-1, title = {The Rigorous Retrospective Static Analysis of the Sizewell 'B' Primary Protection System Software}, author = {N. J. Ward}, year = {1993}, doi = {10.1007/978-1-4471-2061-2_19}, url = {https://doi.org/10.1007/978-1-4471-2061-2_19}, researchr = {https://researchr.org/publication/Ward93-1}, cites = {0}, citedby = {0}, pages = {171-181}, booktitle = {The 12th International Conference on Computer Safety, Reliability and Security, SAFECOMP 1993, Poznań-Kiekrz, Poland, October 27-29, 1993}, editor = {Janusz Górski}, publisher = {Springer}, isbn = {978-3-540-19838-3}, }