A. G. Panov

AG

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

Publications

1