Knowledge Tree

researcher / Sébastien Praud

Sébastien Praud

at_id:

orcid_id:

Disciplines:

Computer sciences

Edit Merge See Links

Thesis:

Démonstration automatique en logique temporelle : application aux contraintes d'intégrité dynamiques