Publications of A. Hall sorted by journal and type
IEEE Software
| and , 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) |