авторЛ. С. КуликовПроведение сертификационных испытаний межсетевых экрановСертификация программного обеспечения. Статический анализ программного кода
Буклинкер
