Александр Камкин, Ведущий научный сотрудник, кандидат физико-математических наук, ИСП РАН
Верификация компьютерных протоколов с помощью SPIN (spinroot.com)
TMPA School 2018, Саратов