Подъячев, Афанасьев. Тестирование трансляции формальных моделей. ТС [Интернет]. 1апр.2006 [цитируется по 23ноя.2024];2(3):156-61. Available from: https://ia.spcras.ru/index.php/sp/article/view/1249