Formal methods in outer space: essays dedicated to klaus havelund on the occasion of his 65th birthday
Éditeur :
Springer Nature Switzerland AG
ISBN :
9783030873479
Date de publication :
28 sept. 2021
Dimensions :
23,5 x 15,5 cm
Langue :
Anglais
Pays d'origine :
Suisse
His academic awards include the 2020 SIGSOFT Impact Paper Award, the RV 2018 Test of Time award, and the ASE 2014 and ASE 2016 Most Influential Paper awards.