Для студентов МГУ им. Ломоносова по предмету Математические методы верификации схем и программАрхив, прилагающийся к семинару 10-11Архив, прилагающийся к семинару 10-11
2020-08-252020-08-25СтудИзба
Семинары: Архив, прилагающийся к семинару 10-11
Описание
Описание файла отсутствует
Характеристики семинаров
Тип
Учебное заведение
Просмотров
14
Размер
4,4 Kb
Список файлов
errors
atm
atm.q
atm.xml
traingate
train-gate-erroneous.q
train-gate-erroneous.xml