Формальные методы верификации ПО на практике
@practical_fm
订阅数
584
状态
活跃
频道简介
Обсуждение тем, связанных с практическим использованием формальных методов верификации и спецификации ПО. Теги: #работа #phd.
@practical_fm
订阅数
584
状态
活跃
Обсуждение тем, связанных с практическим использованием формальных методов верификации и спецификации ПО. Теги: #работа #phd.