| 2008 | ||
|---|---|---|
| 2 | EE | Frédéric Besson, Thomas P. Jensen, Tiphaine Turpin: Computing Stack Maps with Interfaces. ECOOP 2008: 642-666 |
| 2007 | ||
| 1 | EE | Frédéric Besson, Thomas P. Jensen, Tiphaine Turpin: Small Witnesses for Abstract Interpretation-Based Proofs. ESOP 2007: 268-283 |
| 1 | Frédéric Besson | [1] [2] |
| 2 | Thomas P. Jensen | [1] [2] |