Лукин Михаил Андреевич. Верификация автоматных программ: диссертация ... кандидата технических наук: 05.13.11 / Лукин Михаил Андреевич;[Место защиты: Федеральное государственное бюджетное образовательное учреждение высшего профессионального образования «Санкт-Петербургский национальный исследовательский университет информационных технологий, механики и оптики»].- Санкт-Петербург, 2014.- 185 с.
