Tests and proofs: 14th international conference, tap 2020, held as part of staf 2020, bergen, norway, june 22–23, 2020, proceedings
Éditeur :
Springer Nature Switzerland AG
ISBN :
9783030509941
Date de publication :
20 juin 2020
Dimensions :
23,5 x 15,5 cm
Langue :
Anglais
Pays d'origine :
Suisse