Disciplines Institutions Contribute Search
Add Thesis Add Researcher Add Institution
researcher / Ludovic Casset

Ludovic Casset

at_id:

orcid_id:

Disciplines:

Computer sciences
Edit Merge See Links

Thesis:

Construction correcte de logiciels pour carte à puce : Développement formel d'un vérifieur embarqué de byte code Java Card à l'aide de la méthode B