The Rigorous Retrospective Static Analysis of the Sizewell 'B' Primary Protection System Software

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]

Abstract

Abstract is missing.