Statistics
Publications
1
Citations
15
H-Index
1
Active since
2018
Affiliations
Denis Efremov is an author at National Research University Higher School of Economics specializing in software verification, software analysis, and computer science.
Publications per year
2018–2018
1
1
1–1 of 1