Tests and proofs: 16th international conference, tap 2022, held as part of staf 2022, nantes, france, july 5, 2022, proceedings
Éditeur :
Springer International Publishing AG
ISBN :
9783031098260
Date de publication :
22 juin 2022
Dimensions :
23,5 x 15,5 cm
Langue :
Anglais
Pays d'origine :
Suisse