Алексей Найденов (ITooLabs) про TLA+/TLC – практичный инструмент формальной верификаций алгоритмов

Смотрите также