Knowledge Tree

researcher / Fabrice Parrennes

Fabrice Parrennes

at_id:

orcid_id:

Disciplines:

Computer sciences

Edit Merge See Links

Thesis:

Analyse de sûreté du logiciel par interprétation abstraite et contraintes