Sémantiques opérationnelles et domaines abstraits pour l'analyse statique de Java

  • Isabelle Pollet

Student thesis: DEA types › DEA in Computer Science

Date of Award1999
Original languageFrench
SupervisorBaudouin LE CHARLIER (Supervisor)

Cite this

Documents

'