1
Publications
17
Citations
1
H-Index
2007
Active since
A. G. Panov is an author specializing in formal methods, automated reasoning, and computer science.
Publications per year
2007–2007
1
1
I. V. Ryabchikov, A. G. Panov, Andrei Kornienko · Steel in Translation · 2007 · 17 citations
Rows per page
1–1 of 1