Tests and proofs. 15th international conference, TAP 2021, held as part of STAF 2021, virtual event, June 21--22, 2021. Proceedings
scientific article; zbMATH DE number 7372863