Structuring Systems for Formal Verification.
| Autor: | Neely, Richard B., Freeman, James W. |
|---|---|
| Zdroj: | 1985 IEEE Symposium on Security & Privacy; 1985, p2-2, 1p |
| Databáze: | Complementary Index |
| Externí odkaz: |
|
| Autor: | Neely, Richard B., Freeman, James W. |
|---|---|
| Zdroj: | 1985 IEEE Symposium on Security & Privacy; 1985, p2-2, 1p |
| Databáze: | Complementary Index |
| Externí odkaz: |
|