Halmagrand, Pierre (1984-....)

Identifiant pérenne de la notice : 198322038

URI de l'entité : http://www.idref.fr/198322038/id

Notice de type Personne

Point d'accès autorisé

Halmagrand, Pierre (1984-....)

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)

Langue d'expression : français,anglais

Pays : France

Date de naissance : 1984

Notes

Note publique d'information :

Auteur d'une thèse en Informatique soutenue au Cnam en 2016

Identifiants externes

Identifiant HAL : pierrehalmagrand

Identifiant SCOPUS : 56035381900

Source

Automated Deduction and Proof Certification for the B Method / Pierre Halmagrand, 2016. Thèse de doctorat : Informatique : Paris, CNAM : 2016

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