Verified software. theories, tools, and experiments: 9th international conference, vstte 2017, heidelberg, germany, july 22-23, 2017, revised selected papers
Éditeur :
Springer International Publishing AG
ISBN :
9783319723075
Date de publication :
15 déc. 2017
Dimensions :
23,5 x 15,5 cm
Langue :
Anglais
Pays d'origine :
Suisse
This volume constitutes the thoroughly refereed post-conference proceedings of the 9th International Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2017, held in Heidelberg, Germany, in July 2017. The 12 full papers presented were carefully revised and selected from 20 submissions.