Город: Тест Санкт-Петербург Новосибирск Казань Язык: Русский English

Практикум по применению reflect-предикатов и мульти-правил переписывания
Введение в формальную верификацию программ

Что: Семинар
Когда: Четверг, 22 апреля 2021, 20:30–21:30
Где: Конференция в zoom, Онлайн