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

counter-example guided abstraction refinement מתח
.תִכנו	уточнение абстракции по контрпримеру (Alex_Odeychuk)