Correctness by construction: developing a commercial secure system (Q56210212)
Jump to navigation
Jump to search
No description defined
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Correctness by construction: developing a commercial secure system |
No description defined |
Statements
Correctness by construction: developing a commercial secure system (English)
0 references
2002
0 references
19
0 references
18-25
0 references
1
0 references