Формальные методы верификации ПО на практике

Группа

562

участника

Обсуждение тем, связанных с практическим использованием формальных методов верификации и спецификации ПО. Теги: #работа #phd.