Knowledge Tree

researcher / Guy Alain Narboni

Guy Alain Narboni

at_id:

orcid_id:

Disciplines:

Computer sciences

Edit Merge See Links

Thesis:

Un cas remarquable de systèmes linéaires : les systèmes monotones : résolution et application à la vérification formelle de programmes