Recent advances in program verification through computer algebra
scientific article; zbMATH DE number 6183802
scientific article