Verified Software. Theories, Tools and Experiments
Subtitle: 14th International Conference, VSTTE 2022, Trento, Italy, October 17-18, 2022, Revised Selected Papers
Publisher: Springer International Publishing AG
Published: 2023
Language: eng
ISBN-13: 9783031258022