Tests and proofs. 14th international conference, TAP 2020, held as part of STAF 2020, Bergen, Norway, June 22--23, 2020. Proceedings
scientific article