Correctness by Construction: Developing a Commercial Secure System.
| Autor: | Hall, Anthony, Chapman, Roderick |
|---|---|
| Zdroj: | IEEE Software. Jan/Feb2002, Vol. 19 Issue 1, p18. 8p. 2 Diagrams, 1 Chart. |
| Databáze: | Business Source Ultimate |
| Externí odkaz: |
|
| Autor: | Hall, Anthony, Chapman, Roderick |
|---|---|
| Zdroj: | IEEE Software. Jan/Feb2002, Vol. 19 Issue 1, p18. 8p. 2 Diagrams, 1 Chart. |
| Databáze: | Business Source Ultimate |
| Externí odkaz: |
|