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

N. J. Ward

Browse the full SAFECOMP paper archive.