V. A. Tsesko

According to our database, V. A. Tsesko authored at least 2 papers in 2012.

Collaborative distances:

• Dijkstra number of six.
• Erdős number of six.

2012

Using dependencies to improve precision of code analysis.

M. I. Glukhikh, Vladimir M. Itsykson, V. A. Tsesko

Autom. Control. Comput. Sci., 2012

LLVM-based static analysis tool using type and effect systems.

Mikhail A. Belyaev, V. A. Tsesko

Autom. Control. Comput. Sci., 2012