paprika.idref.fr paprika.idref.fr data.idref.fr data.idref.fr Documentation Documentation
Identifiant pérenne de la notice : 241361184Copier cet identifiant (PPN)
Notice de type Personne

Point d'accès autorisé

Blatter, Lionel
Nom à l'état civil

Sur le web

Information

(par souci de protection des données à caractère personnel, le jour et le mois de naissance peuvent ne pas être affichés)
Genre : Masculin

Notes

Note publique d'information : 
Auteur d'une thèse en Informatique à Paris Saclay en 2019

Identifiants externes

Source

Relational properties for specification and verification of C programs in Frama-C / Lionel Blatter ; sous la direction de Pascale Le Gall. Thèse de doctorat : Informatique : Paris Saclay : 2019

... Références liées : ...