@article{Титовская2014формальная,
author={Титовская, Т.С. and Непомнящий, О.В. and Леонова, А.В. and Комаров, А.А.},
title={Формальная верификация при проектировании сверхбольших интегральных схем},
journal={Вестник КрасГАУ},
publisher={Красноярский государственный аграрный университет},
year={2014},
pages={87-89},
volume={},
issue={4},
}