Concepedia

Mikhail Solovyev

MS

1

Publications

15

Citations

1

H-Index

2014

Active since

Affiliations

Institute for System Programming(Current)

Mikhail Solovyev is an author at Institute for System Programming specializing in system software, formal methods, and source code analysis.

Top concepts

Publications per year

2014–2014

1

Publications

1

Methods and software tools for combined binary code analysis

V.A. Padaryan, Aleksandr Igorevich Getman, Mikhail Solovyev et al. · Proceedings of the Institute for System Programming of RAS · 2014 · 15 citations · Full text

, , +21

Rows per page

1–1 of 1