Concepedia

Karl Crary

KC

44

Publications

3.2K

Citations

27

H-Index

1997

Active since

Affiliations

Carnegie Mellon University(Current)

Cornell University

Karl Crary is an author at Carnegie Mellon University specializing in formal methods, engineering, and computer science.

Top concepts

EngineeringFormal MethodsComputer ScienceFormal VerificationProgram AnalysisSoftware AnalysisAutomated ReasoningComputer EngineeringVerificationSystem Software

Publications per year

1997–2016

44

Publications

44

Rows per page

1–5 of 44