אנגלית ⇄ רוסית +

semi-automated formal verification of software מתח
.תִכנו	полуавтоматическая формальная верификация программного обеспечения (Alex_Odeychuk)