W. B. Martin

Formal construction of the Mathematically Analyzed Separation Kernel

A. Goldberg, W. B. Martin, P. D. White, 2000, Proceedings ASE 2000. Fifteenth IEEE International Conference on Automated Software Engineering.

High Confidence Software and Systems High Confidence Software and Systems Letter from the Guest Editor C O N T E N T S a Letter from Sir Tony Hoare Cryptographer as Designer

W. B. Martin, 2022 .

Proceedings of the Static Analysis Summit

Elizabeth N. Fong, Paul E. Black, Helen Gill, 2006 .

Creating High Confidence in a Separation Kernel

W. B. Martin, P. D. White, F. S. Taylor, 2002, Automated Software Engineering.