Channel
Public
Group
Public
Formal Methods in Software Verification in Practice
👥 586
👁️ 32
RU
RU
Original Name:
Формальные методы верификации ПО на практике
Primary content language is
Russian
Discussion of topics related to the practical use of formal methods in software verification and specification.
Get Group Link
This link will open in the Telegram app.
#PhD