| 2007 | ||
|---|---|---|
| j1 | Mourad Debbabi, M. Fourati: A Formal Type System for Java. Journal of Object Technology 6(8): 117-184 (2007) | |
| 2002 | ||
| c2 | 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 | ||
| c1 | ||
| 1 | Mourad Debbabi | |
| 2 | Jules Desharnais | |
| 3 | E. Menif | |
| 4 | Frédéric Painchaud | |
| 5 | Nadia Tawbi |
Data released under the ODC-BY 1.0 license — See also our legal information page