Verified software. theories, tools, and experiments: 11th international conference, vstte 2019, new york city, ny, usa, july 13–14, 2019, revised selected papers
Éditeur :
Springer Nature Switzerland AG
ISBN :
9783030415990
Date de publication :
14 mars 2020
Dimensions :
23,5 x 15,5 cm
Langue :
Anglais
Pays d'origine :
Suisse
This volume constitutes the thoroughly refereed post-conference proceedings of the 11th International Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2019, held in New York City, NY, USA, in July 2019. The 9 full papers presented were carefully revised and selected from 17 submissions.