@article{Zubov2014numerical,
author={Zubov, M.. and Pustygin, A.. and Startsev, E..},
title={NUMERICAL MODELING OF SOURCE CODE STATIC ANALYSIS WITH INTERMEDIATE REPRESENTATIONS},
journal={Vestnik of Astrakhan State Technical University. Series: Management, computer science and informatics},
publisher={Astrakhan State Technical University},
year={2014},
pages={55-66},
volume={2014},
issue={4},
}