This volume constitutes the thoroughly refereed post-conference proceedings of the 10th International Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2018, held in Oxford, UK, in July 2018.The 19 full papers presented were carefully revised and selected from 24 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.
€57.77
Buy this ebook and get 1 more FREE!
Language English ● Format EPUB ● ISBN 9783030035921 ● Editor Ruzica Piskac & Philipp Rummer ● Publisher Springer International Publishing ● Published 2018 ● Downloadable 3 times ● Currency EUR ● ID 6788154 ● Copy protection Adobe DRM
Requires a DRM capable ebook reader
More ebooks from the same author(s) / Editor
74,471 Ebooks in this category
