2380 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 (2010-08-27), Yassine Lakhnech (Dir.) [tel-00720595 - version 1]