Knowledge Tree

researcher / Manuel Garnacho

Manuel Garnacho

at_id:

orcid_id:

Disciplines:

Computer sciences

Edit Merge See Links

Thesis:

Automatisation de la certification formelle de systèmes critiques par instrumentation d'interpréteurs abstraits