ISBN 9783031258022 books & textbook

Verified Software. Theories, Tools and Experiments.: 14th International Conference, VSTTE 2022, Trento, Italy, October 17–18, 2022, Revised Selected Papers (Lecture Notes in Computer Science)

Lal, Akash Tonetta, Stefano

Springer /2023-02-02 Paperback / 180 Pages
isbn-10: 3031258029 / isbn-13: 9783031258022