7 пара
18:30–19:50
7207л ПКИМС
Высокоуровневые языки проектирования и верификации
Лабораторная