Valery Ignatyev
Orcid: 0000-0003-3192-1390Affiliations:
- Russian Academy of Sciences, Ivannikov Institute for System Programming, Moscow
According to our database1,
Valery Ignatyev
authored at least 2 papers
between 2014 and 2018.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2018
Program. Comput. Softw., 2018
2014
Static Analysis Usage for Customizable Semantic Checks of C and C++ Programming Languages Constraints.
Proceedings of the Seventh IEEE International Conference on Software Testing, 2014