Лекция 12. TLA+: верификация конкурентных и распределенных программ

Среда, 02 декабря 2020
Онлайн, занятие в zoom