1
Publications
665
Citations
1
H-Index
1997
Active since
Affiliations
Program Systems Institute of RAS(Current)
A. G. Bondarenko is an author at Program Systems Institute of RAS specializing in automated reasoning, formal methods, and computer science.
Publications per year
1997–1997
1
1
Rows per page
1–1 of 1