Knowledge Tree

researcher / Marta Franova

Marta Franova

at_id:

orcid_id:

Disciplines:

Computer sciences

Edit Merge See Links

Thesis:

Les principes essentiels d'une méthodologie nouvelle pour la synthèse de programmes à partir de spécifications formelles : CM-construction des formules atomiques