Correctness by Construction: developing a commercial secure system
| Type of publication: | Article |
| Citation: | Correctness2002 |
| Journal: | IEEE Software |
| Volume: | 19 |
| Year: | 2002 |
| Pages: | 18-25 |
| Userfields: | date-added={2012-09-25 09:14:10 +0200}, date-modified={2012-09-25 09:14:11 +0200}, project={fremdliteratur}, |
| Keywords: | |
| Authors | |
|
Attachments
|
|
|
Notes
|
|
|
|
|
|
Topics
|
|
|
|
|