Knowledge Tree

researcher / Pierre Moro

Pierre Moro

at_id:

orcid_id:

Disciplines:

Computer sciences

Edit Merge See Links

Thesis:

Techniques de vérification basées sur des représentations symboliques par automates et l'abstraction guidée par les contre-exemples