Persons: Tsesko, Vadim Aleksandrovich

Persons

RUS ENG

JavaScript is disabled in your browser. Please switch it on to enable full functionality of the website

Tsesko, Vadim Aleksandrovich

E-mail:

	Publications in Math-Net.Ru	Citations
	2011
1.	M. I. Glukhikh, V. M. Itsykson, V. A. Tsesko, “The use of dependencies for improving the precision of program static analysis”, Model. Anal. Inform. Sist., 18:4 (2011), 68–79	2
2.	M. A. Belyaev, V. A. Tsesko, “LLVM-based static analysis tool using type and effect systems”, Model. Anal. Inform. Sist., 18:4 (2011), 45–55

Organisations