@article{Titovskaya2014formal,
author={Titovskaya, T.S. and Nepomnyashchiy, O.V. and Leonova, A.V. and Komarov, A.A.},
title={FORMAL VERIFICATION IN VERY LARGE-SCALE INTEGRATIONDESIGNING},
journal={Bulletin of KSAU},
publisher={Krasnoyarsk State Agrarian University},
year={2014},
pages={87-89},
volume={},
issue={4},
}