4
Publications
78
Citations
4
H-Index
2013
Active since
Affiliations
Anton Blyudov is an author at Petersburg State Transport University specializing in design for testing, engineering, and formal methods.
Top concepts
EngineeringVerificationFormal MethodsComputer ScienceProgram AnalysisSoftware TestingDesign For TestingFormal VerificationComputer EngineeringCoding Theory
Publications per year
2013–2014
4
4
Rows per page
1–4 of 4