
Проверка и синтез правильных и безопасных систем Академические директора О. Grumberg J. Esparza Исполнительный Директор Катарина Шпионы Цель Летняя школа Marktoberdorf курсов двух недель для молодых ученых компьютерных и математиков, работающих по формальным подходам к правильности и безопасности программных систем. Читать далее …