2406 articles – 24 references  [version française]
.:. Browse > List by subject > Logic in Computer Science .:.
1 document

fulltext access Automatisation de la Certification Formelle de Systèmes Critiques par Instrumentation d'Interpréteurs Abstraits
Garnacho M.
Université de Grenoble (27/08/2010), Yassine Lakhnech (Dir.) [tel-00720595 - version 1]