| 2009 | ||
|---|---|---|
| 2 | Cristina David, Cristian Gherghina, Wei-Ngan Chin: Translation and optimization for a core calculus with exceptions. PEPM 2009: 41-50 | |
| 1 | Cristian Gherghina, Cristina David: Automated Verification Using Unified Control Flows. TASE 2009: 323-324 | |
| 1 | Wei-Ngan Chin | [2] |
| 2 | Cristina David | [1] [2] |