|
|
|||
|
||||
OverviewThis 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. Full Product DetailsAuthor: Andrei Paskevich , Thomas WiesPublisher: Springer International Publishing AG Imprint: Springer International Publishing AG Edition: 1st ed. 2017 Volume: 10712 Weight: 0.454kg ISBN: 9783319723075ISBN 10: 3319723073 Pages: 211 Publication Date: 15 December 2017 Audience: College/higher education , Postgraduate, Research & Scholarly Format: Paperback Publisher's Status: Active Availability: Manufactured on demand We will order this item for you from a manufactured on demand supplier. Table of ContentsReviewsAuthor InformationTab Content 6Author Website:Countries AvailableAll regions |