Correctness by construction: developing a commercial secure system.
Saved in:
| Title: | Correctness by construction: developing a commercial secure system. |
|---|---|
| Authors: | Hall, Anthony, Chapman, Roderick |
| Source: | IEEE Software; Jan/Feb2002, Vol. 19 Issue 6, p18-25, 8p |
| Database: | Applied Science & Technology Source |
| ISSN: | 07407459 |
|---|---|
| DOI: | 10.1109/52.976937 |
