Publications of R. Chapman
2002
Correctness by Construction: developing a commercial secure system (2002), in: IEEE Software, 19(18-25) | and ,
Correctness by Construction: developing a commercial secure system (2002), in: IEEE Software, 19(18-25) | and ,