Formal verification in a commercial setting.
| Autor: | Kurshan, R. P. |
|---|---|
| Zdroj: | Proceedings of the 34th Annual Design Automation Conference; 6/ 9/1997, p258-262, 5p |
| Databáze: | Complementary Index |
| Externí odkaz: |
|
| Autor: | Kurshan, R. P. |
|---|---|
| Zdroj: | Proceedings of the 34th Annual Design Automation Conference; 6/ 9/1997, p258-262, 5p |
| Databáze: | Complementary Index |
| Externí odkaz: |
|