Subscribe to a channel

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

-

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