Бурдонов, И. Б., Евтушенко, Н. В., & Косачев, А. С. (2023). Конечно-автоматные методы синтеза тестов с гарантированной полнотой для входо-выходных полуавтоматов. Электронные библиотеки, 26(1), 18-34. https://doi.org/10.26907/1562-5419-2023-26-1-18-34