Formal verification as a technology transfer problem.
| Autor: | Kurshan, R. |
|---|---|
| Zdroj: | Proceedings Second ACM & IEEE International Conference on Formal Methods & Models for Co-Design, 2004 (MEMOCODE '04); 2004, p147-150, 4p |
| Databáze: | Complementary Index |
| Externí odkaz: |
|