бағдарламаларды верификациялауды автоматтандыру
Сала: Информатика және есептеуіш техника
Ағылшыншасы : automation of program verification
автоматизация
верификация
программ