2
Publications
298
Citations
2
H-Index
2004
Active since
Affiliations
Misha Zitser is an author at D. E. Shaw Research specializing in formal verification, software engineering, and formal methods.
Top concepts
FuzzingEngineeringFormal MethodsStatic AnalysisSystem SoftwareComputer ScienceProgram AnalysisSoftware TestingHardware SecuritySoftware Analysis
Publications per year
2004–2004
2
2
Rows per page
1–2 of 2