Calvin Beck is an author at Carnegie Mellon University specializing in formal methods, engineering, and semantics.
Top concepts
SemanticsEngineeringFormal MethodsComputer ScienceProgram AnalysisSoftware AnalysisAutomated ReasoningFormal Verification
Publications per year
2021–2021
1
1
Rows per page
1–1 of 1