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]
No references recorded for this publication.
No citations of this publication recorded.