| la date de réponse | 1999 |
|---|---|
| langue originale | Français |
| Superviseur | Baudouin LE CHARLIER (Promoteur) |
Sémantiques opérationnelles et domaines abstraits pour l'analyse statique de Java
Student thesis: DEA types › DEA en Informatique