| |
| 2002 | ||
|---|---|---|
| 2 | EE | Mourad Debbabi, Jules Desharnais, M. Fourati, E. Menif, Frédéric Painchaud, Nadia Tawbi: Secure Self-certified Code for Java. FASec 2002: 133-151 |
| 2000 | ||
| 1 | Mourad Debbabi, M. Fourati: Sur la sémantique statique de Java. LMO 2000: 167-182 | |
| 1 | Mourad Debbabi | [1] [2] |
| 2 | Jules Desharnais | [2] |
| 3 | E. Menif | [2] |
| 4 | Frédéric Painchaud | [2] |
| 5 | Nadia Tawbi | [2] |