Russian | English |
автоматический статический анализ и формальная верификация программного обеспечения | automatic analysis and verification (Electronic Design Alex_Odeychuk) |
статический анализ программного обеспечения | static software analysis (корпорации AdaCore Alex_Odeychuk) |