Tests and Proofs
Subtitle: 17th International Conference, TAP 2023, Leicester, UK, July 18-19, 2023, Proceedings
Publisher: Springer
Published: 2023
Language: eng
ISBN-13: 9783031388279
Subjects: Computer software, development