Verification, model checking, and abstract interpretation: 20th international conference, vmcai 2019, cascais, portugal, january 13–15, 2019, proceedings
Éditeur :
Springer Nature Switzerland AG
ISBN :
9783030112448
Date de publication :
11 janv. 2019
Dimensions :
23,5 x 15,5 cm
Langue :
Anglais
Pays d'origine :
Suisse