Englisch ⇄ Russisch +

logic checker Betonungen
Progr.	инструмент проверки логических аннотаций (в коде на языке программирования Java Alex_Odeychuk)