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