Statistics
Publications
2
Citations
82
H-Index
2
Active since
2013
Affiliations
Pankaj Pawan is an author at Institut national de recherche en sciences et technologies du numérique specializing in formal methods, formal verification, and system software.
Publications per year
2013–2013
2
2
1–2 of 2