![]() | ![]() |
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] |