Буклинкер
автор

А. В. Щербаков

Сертификация программного обеспечения. Статический анализ программного кода