2
Publications
55
Citations
2
H-Index
2015
Active since
Dmitri Garbuzov is an author at California University of Pennsylvania specializing in formal specification, computer engineering, and system software.
Top concepts
EngineeringVerificationFormal MethodsSystem SoftwareComputer ScienceProgram AnalysisSoftware AnalysisAutomated ReasoningFormal VerificationComputer Engineering
Publications per year
2015–2015
2
2
A formal C memory model supporting integer-pointer casts
Jeehoon Kang, Chung-Kil Hur, William Mansky et al. · 2015 · 45 citations
A formal C memory model supporting integer-pointer casts
Jeehoon Kang, Chung-Kil Hur, William Mansky et al. · ACM SIGPLAN Notices · 2015 · 10 citations
Rows per page
1–2 of 2