Verified Software. Theories, Tools, and Experiments: 9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017, Revised Selected ... Notes in Computer Science Book 10712)
This proceedings volume collects revised selected contributions from the 9th International Conference on Verified Software: Theories, Tools, and Experiments, held in Heidelberg, Germany, in July 2017. It offers research-oriented coverage of software verification through theoretical perspectives, practical tools, and experimental work.
About This Book
This volume presents proceedings from the 9th International Conference on Verified Software: Theories, Tools, and Experiments.
The conference took place in Heidelberg, Germany, on July 22–23, 2017.
As part of the Lecture Notes in Computer Science series, the book collects revised selected contributions focused on software verification and related research.
It is intended for readers interested in formal methods, software reliability, verification tools, and experimental approaches in computer science.
Reviews
No reviews yet. Be the first to review this book!