@article{Дунаев2022классификация, author={Дунаев, М.П. and Дунаев, А.М.}, title={КЛАССИФИКАЦИЯ ПРИБЛИЖЕННЫХ МЕТОДОВ ПОСТРОЕНИЯ ПРОГРАММ ПРОВЕРОК}, journal={современные технологии и научно-технический прогресс}, publisher={ФГБОУ ВО "Ангарский государственный технический университет"}, year={2022}, pages={223-224}, volume={2021}, issue={1}, }