Practice of formal methods, the: essays in honour of cliff jones, part i
Éditeur :
Springer International Publishing AG
ISBN :
9783031666759
Date de publication :
13 août 2024
Dimensions :
23,5 x 15,5 cm
Langue :
Anglais
Pays d'origine :
Suisse
His career has included industry research in the UK, Austria and Belgium, a PhD at the University of Oxford, and academic and research roles at the University of Cambridge and the University of Manchester, and since 1999 at Newcastle University.