Сертификация программного обеспечения. Статический анализ программного кода : учебно-методическое пособие / В. М. Антонова [и др.], 2019. - 22, [2] с. - Текст : непосредственный.