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

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