615 articles  [version française]
.:. Browse > List by subject > Performance .:.
1 document

fulltext access Analyse statique par interprétation abstraite de programmes concurrents
Miné A.
Ecole Normale Supérieure de Paris - ENS Paris (2013-11-28), Ahmed Bouajjani (Pr.) [tel-00903447 - version 1]