TY  - BOOK
AU  - Paskevich,Andrei
AU  - Wies,Thomas
ED  - SpringerLink (Online service)
TI  - Verified Software. Theories, Tools, and Experiments: 9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017, Revised Selected Papers 
T2  - Programming and Software Engineering
SN  - 9783319723082
AV  - QA76.758 
U1  - 005.1 23
PY  - 2017///
CY  - Cham
PB  - Springer International Publishing, Imprint: Springer
KW  - Software engineering
KW  - Computers
KW  - Programming languages (Electronic computers)
KW  - Computer simulation
KW  - Artificial intelligence
KW  - Software Engineering
KW  - Theory of Computation
KW  - Programming Languages, Compilers, Interpreters
KW  - Simulation and Modeling
KW  - Artificial Intelligence
KW  - The Computing Profession
N2  - 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. The papers describe large-scale verification efforts that involve collaboration, theory unification, tool integration, and formalized domain knowledge as well as novel experiments and case studies evaluating verification techniques and technologies
UR  - https://doi.org/10.1007/978-3-319-72308-2
ER  -