| |
| 2006 | ||
|---|---|---|
| 2 | EE | Songtao Xia, Ben Di Vito, César Muñoz: Predicate Abstraction of Programs with Non-linear Computation. ATVA 2006: 352-368 |
| 2005 | ||
| 1 | EE | Songtao Xia, Ben Di Vito, César Muñoz: Automated test generation for engineering applications. ASE 2005: 283-286 |
| 1 | César Muñoz | [1] [2] |
| 2 | Songtao Xia | [1] [2] |