[Lecture Notes in Computer Science] Tests and Proofs Volume 12165 (14th International Conference, TAP 2020, Held as Part of STAF 2020, Bergen, Norway, June 22â23, 2020, Proceedings) ||
Ahrendt, Wolfgang, Wehrheim, HeikeVolume:
10.1007/97
Year:
2020
DOI:
10.1007/978-3-030-50995-8
File:
PDF, 10.32 MB
2020