Knowledge Tree

researcher / Bouquet, Fabrice

Bouquet, Fabrice

at_id:

orcid_id:

Disciplines:

Computer sciences

Edit Merge See Links

Directed Thesis:

Evaluation symbolique à contraintes pour la validation : application à Java/JML