Егоров КВ, Шалыто АА. Методика верификации автоматных программ. ИУС [Интернет]. 20окт.2008 [цитируется по 18июн.2024];(5):15-1. Available from: http://proceedings.spiiras.nw.ru/index.php/ius/article/view/14782