Семахин А.М. Методы верификации и оценки качества программного обеспечения : учебное пособие / А.М. Семахин ; Министерство науки и высшего образования Российской Федерации, Курганский государственный университет, Кафедра программного обеспечения автоматизированных систем. - Курган : Издательство Курганского государственного университета, 2018. - 149, [1] с.: рис., табл. - Библиогр.: с. 120-124. - ISBN 978-5-4217-0461-4.