Tests and Proofs : 16th International Conference, TAP 2022, Held As Part of STAF 2022, Nantes, France, July 5, 2022, Proceedings

Full text!
Format:
e-book
Title:
Tests and Proofs : 16th International Conference, TAP 2022, Held As Part of STAF 2022, Nantes, France, July 5, 2022, Proceedings
Author:
Kovács, Laura.; Meinke, Karl
Language:
English
Publisher:
Cham Springer International Publishing AG 2022
ISBN:
3-031-09826-9
3-031-09827-7
Permalink:
http://bibtest.howest.be/catalog/ebk03:23976609000041?locale=en