Verified Software. Theories, Tools and Experiments. - 14th International Conference, VSTTE 2022, Trento, Italy, October 17-18, 2022, Revised Selected Papers (Paperback, 1st ed. 2023)

This book constitutes the refereed proceedings of the 14th International Conference on Verified Software. Theories, Tools and Experiments, VSTTE 2022 held in Trento, Italy, during October 17-18, 2022.The 9 papers presented in this volume were carefully reviewed and selected from 20 submissions. The papers describe software 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.

General

Imprint:	Springer International Publishing AG
Country of origin:	Switzerland
Series:	Lecture Notes in Computer Science, 13800
Release date:	February 2023
First published:	2023
Editors:	Akash Lal • Stefano Tonetta
Dimensions:	235 x 155mm (L x W)
Format:	Paperback
Pages:	156
Edition:	1st ed. 2023
ISBN-13:	978-3-03-125802-2
Categories:	Books > Computing & IT > Computer programming > General
LSN:	3-03-125802-9
Barcode:	9783031258022

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!