![]() | ![]() |
| 2004 | ||
|---|---|---|
| 1 | Mark Aagaard, Vlad C. Ciubotariu, Jason T. Higgins, Farzad Khalvati: Combining Equivalence Verification and Completion Functions. FMCAD 2004: 98-112 | |
| 1 | Mark Aagaard | [1] |
| 2 | Jason T. Higgins | [1] |
| 3 | Farzad Khalvati | [1] |
Data released under the ODC-BY 1.0 license — See also our legal information page