- CSB - MetaPress - Google - Bing - Yahoo
 | 2004 | |
|---|---|---|
| 2 |      | James Ezick: An optimizing compiler for batches of temporal logic formulas. ISSTA 2004: 183-194 |
| 1 | | James Ezick: Resolving and applying constraint queries on context-sensitive analyses. PASTE 2004: 2-7 |