Knowledge Tree

researcher / Duy-Tùng Nguyên

Duy-Tùng Nguyên

at_id:

orcid_id:

Disciplines:

Computer sciences

Edit Merge See Links

Thesis:

Vérification symbolique de modèles à l'aide de systèmes de ré-écriture dédiés