Учебные издания Верификация автоматных программ: учебное пособие. Медведева С. А., Лукин М. А., Олехнович А. О., Яминов Б. Р.
