Disciplines Institutions Contribute Search
Add Thesis Add Researcher Add Institution
researcher / Sorin Stratulat

Sorin Stratulat

at_id:

orcid_id:

Disciplines:

Applied sciences
Computer sciences
Edit Merge See Links

Thesis:

Preuves par récurrence avec ensembles couvrants contextuels : applications à la vérification de logiciels de télécommunications

Directed Thesis:

Certification des raisonnements formels portant sur des systèmes d'information critiques
Vers un calcul des constructions pédagogique