Stratulat, Sorin
![Sudoc [ABES], France](/viaf/images/flags/SUDOC.png "Sudoc [ABES], France")
VIAF ID: 37586369 (Personal)
Permalink: http://viaf.org/viaf/37586369
Preferred Forms
-
100 1 _
‡a
Stratulat, Sorin
-
100 1 _
‡a
Stratulat, Sorin
Works
| Title | Sources |
|---|---|
| Certification des raisonnements formels portant sur des systèmes d'information critiques |
|
| Certifying formal reasoning about critical information systems. |
|
| Preuves par induction dans le calcul de superposition |
|
| Preuves par récurrence avec ensembles couvrants contextuels : applications à la vérification de logiciels de télécommunications |
|
| Vers un calcul des constructions pédagogique |
|
