Sciweavers

Share
SOFTWARE
2002

Correctness by Construction: Developing a Commercial Secure System

10 years 2 months ago
Correctness by Construction: Developing a Commercial Secure System
Anthony Hall, Roderick Chapman
Added 23 Dec 2010
Updated 23 Dec 2010
Type Journal
Year 2002
Where SOFTWARE
Authors Anthony Hall, Roderick Chapman
Comments (0)
books