Notice de personne
- Notice
Butler, Michael (1967-....) forme internationale
Langue(s) :
anglais
Sexe :
Masculin
Responsabilité(s) exercée(s) sur les documents :
Auteur
Naissance :
1967-05-25
Enseignant en informatique. - En poste : Université de Southampton (Royaume-Uni) (en
2022).
Source(s) :
FM 2011 [Texte électronique] : formal methods : 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011 : proceedings / Michael Butler, Wolfram Schulte (eds.).- Berlin : Springer, 2011
University of Southampton : https://www.ecs.soton.ac.uk (2022-02-16) . - LC authorities : http://id.loc.gov/authorities/names/n2001010042 (2022-02-16)
FM 2011 [Texte électronique] : formal methods : 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011 : proceedings / Michael Butler, Wolfram Schulte (eds.).- Berlin : Springer, 2011
University of Southampton : https://www.ecs.soton.ac.uk (2022-02-16) . - LC authorities : http://id.loc.gov/authorities/names/n2001010042 (2022-02-16)
Identifiant international de l'autorité :
ISNI 0000 0001 1476 419X
, cf.
http://isni.org/isni/000000011476419X
Identifiant de la notice : ark:/12148/cb17199332s
Notice n° :
FRBNF17199332
Création :
18/02/07
Mise à jour :
22/02/16
