Методы верификации и оценки качества программного обеспечения : методические указания к выполнению практических работ для магистрантов направления подготовки 09.04.04 «Программная инженерия» / Министерство науки и высшего образования Российской Федерации, Курганский государственный университет, Кафедра программного обеспечения автоматизированных систем ; [сост.: А.М. Семахин]. - Курган : Издательство Курганского государственного университета, 2020. - 69, [1] с. : рис., табл. - Библиогр.: с. 69.