Tests and proofs. 12th international conference, TAP 2018, held as part of STAF 2018, Toulouse, France, June 27--29, 2018. Proceedings
scientific article; zbMATH DE number 6901663
scientific article