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

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

Имя пользователя
@practical_fm
Категория
Коммуникации
Подписчики
593
Язык
русский

Рейтинги

Оценка

Вам нравится группа? логин или воспользуйтесь @dailychannelsbot чтобы оставить отзыв о группа с помощью Телеграм

Пока нет комментариев

Будьте первым, кто поделится мнением.

Интересные группы