Verified Software. Theories, Tools and Experiments
17th International Conference, VSTTE 2025, Menlo Park, CA, USA, October 6, 2025, Revised Selected Papers.DE
Автор:
Clément Pit-Claudel, Katherine Kosaian
Наличност:
Очакван нов продукт
Издание 05. 08. 2026
58.72
€
114.86 лв
This book constitutes the refereed proceedings of the 17th International Conference on Verified Soft...
