| |
| 2008 | ||
|---|---|---|
| 3 | EE | Laurent Hubert, Thomas P. Jensen, David Pichardie: Semantic Foundations and Inference of Non-null Annotations. FMOODS 2008: 132-149 |
| 2 | EE | Laurent Hubert: A non-null annotation inferencer for Java bytecode. PASTE 2008: 36-42 |
| 2007 | ||
| 1 | EE | Elvira Albert, Miguel Gómez-Zamalloa, Laurent Hubert, Germán Puebla: Verification of Java Bytecode Using Analysis and Transformation of Logic Programs. PADL 2007: 124-139 |
| 1 | Elvira Albert | [1] |
| 2 | Miguel Gómez-Zamalloa | [1] |
| 3 | Thomas P. Jensen | [3] |
| 4 | David Pichardie | [3] |
| 5 | Germán Puebla (German Puebla) | [1] |