@article{Подъячев_Афанасьев_2006, title={Тестирование трансляции формальных моделей}, volume={2}, url={http://proceedings.spiiras.nw.ru/index.php/sp/article/view/1249}, DOI={10.15622/sp.3.12}, number={3}, journal={Труды СПИИРАН}, author={Подъячев and Афанасьев}, year={2006}, month={апр.}, pages={156-161}