Knowledge Tree

researcher / Alexandre Lissy

Alexandre Lissy

at_id:

orcid_id:

Disciplines:

Computer sciences

Edit Merge See Links

Thesis:

Utilisation de méthodes formelles pour garantir des propriétés de logiciels au sein d'une distribution : exemple du noyau Linux.