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