Verified software. theories, tools, and experiments: 8th international conference, vstte 2016, toronto, on, canada, july 17–18, 2016, revised selected papers
Éditeur :
Springer International Publishing AG
ISBN :
9783319488684
Date de publication :
8 nov. 2016
Dimensions :
23,5 x 15,5 cm
Langue :
Anglais
Pays d'origine :
Suisse
This volume constitutes the thoroughly refereed post-conference proceedings of the 8th International Conference on Verified Software: Theories, Tools and Experiments, VSTTE 2016, held in July 2016 in Toronto, ON, Canada.