Verified Software. Theories, Tools and Experiments
Subtitle: 15th International Conference, VSTTE 2023, Ames, IA, USA, October 23-24, 2023, Revised Selected Papers
Publisher: Springer
Published: 2024
Language: eng
ISBN-13: 9783031660634