Мартыненко БК. Syntax Directed Generation of Tests for Processors of Regular Languages. CTE [Internet]. 2017Jun.4 [cited 2024May4];0(5):17-5. Available from: http://cte.eltech.ru/ojs/index.php/kio/article/view/1411