Correctness by Construction: Developing a Commercial Secure System (2002)

Cached

Download Links

by Anthony Hall , Roderick Chapman
Citations:51 - 4 self