Knowledge Tree

researcher / Nadya Tareb

Nadya Tareb

at_id:

orcid_id:

Disciplines:

Computer sciences

Edit Merge See Links

Thesis:

Apsys : analyseur automatique de programmes par synthèse de leurs spécifications