A. G. Bondarenko

AG

1

Publications

665

Citations

1

H-Index

1997

Active since

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

Publications

1