Concepedia

Author

A. G. Bondarenko

Also Known As

A. Bondarenko, A. G. Bondarenko, Andrei Bondarenko

4

Publications

792

Citations

2

H-Index

4

Concepts

All Affiliations

AG

About

A. G. Bondarenko is an author at Program Systems Institute of RAS specializing in automated reasoning, formal methods, and computer science.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

1

1

665

2

Computer Science

1

1

665

3

Automated Reasoning

1

1

665

4

Formal Methods

1

1

665