614 articles  [english version]
.:. Consultation > Liste par domaine > Performance et fiabilité .:.
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]