Deductive software verification – the key book: from theory to practice
Éditeur :
Springer International Publishing AG
ISBN :
9783319498119
Date de publication :
21 déc. 2016
Dimensions :
23,5 x 15,5 cm
Langue :
Anglais
Pays d'origine :
Suisse
Static analysis of software with deductive methods is a highly dynamic field of research on the verge of becoming a mainstream technology in software engineering.