1
Publications
15
Citations
1
H-Index
2014
Active since
Affiliations
Institute for System Programming(Current)
V.A. Padaryan is an author at Institute for System Programming specializing in software testing, source code analysis, and formal methods.
Top concepts
EngineeringFormal MethodsBinary AnalysisSoftware DesignStatic AnalysisSystem SoftwareComputer ScienceProgram AnalysisSoftware TestingHardware Security
Publications per year
2014–2014
1
1
Rows per page
1–1 of 1