Верификация, стандартизация и сертификация ПО

1. В.В. Кулямин. Методы верификации программного обеспечения. - М.: Институт системного программирования РАН, 2019. – 211 с.

2. В.В. Липаев. Программная инженерия. – М.: Гос. ун-т - Высшая школа экономики. – ТЕИС, 2016. – 608 с.

3. С.В. Синицын. Верификация программного обеспечения: учебное пособие. – Саратов: Профобразование, 2019. — 368 c.