
Tests and Proofs: 17th International Conference, TAP 2023, Leicester, UK, July 18–19, 2023, Proceedings (Lecture Notes in Computer Science, 14066) (PDF/EPUB Version)
$19.99
Description
Author: Virgile Prevosto (editor), Cristina Seceleanu (editor)
Series:
Publisher: Springer
Year: 2023
Edition:
Language: English
ISSN: