Verification: What works and what doesn't.
| Autor: | Bacchini, F., Damiano, R., Bentley, B., Baty, K., Normoyle, K., Ishii, M., Yogev, E. |
|---|---|
| Zdroj: | Proceedings 41st Design Automation Conference, 2004; 2004, p274-274, 1p |
| Databáze: | Complementary Index |
| Externí odkaz: |
|