10
Publications
192
Citations
10
H-Index
2013
Active since
Affiliations
Valery Sapozhnikov is an author at Petersburg State Transport University specializing in program analysis, verification, and computer science.
Top concepts
EngineeringVerificationFormal MethodsComputer ScienceProgram AnalysisFormal VerificationComputer EngineeringSoftware TestingCoding TheoryHardware Security
Publications per year
2013–2020
10
10
Rows per page
1–5 of 10