Title

Tests and proofs : 16th International Conference, TAP 2022

Title Supplement
Held as part of STAF 2022, Nantes, France, July 5, 2022, proceedings
Editor(s)
Kovács, L.
Publisher
Publication Date
2022
Series
Lecture notes in computer science; 13361
ISBN
978-3-031-09826-0
978-3-031-09827-7
Conference
Acronym
TAP
STAF
Language
English