1
Publications
35
Citations
1
H-Index
2010
Active since
Affiliations
The University of Texas at Austin(Current)
Christopher Craik is an author at The University of Texas at Austin specializing in computer architecture, formal verification, and computer science.
Top concepts
EngineeringSystem SoftwareComputer ScienceProgram AnalysisSoftware TestingHardware SecuritySoftware AnalysisParallel ComputingFormal VerificationSystems Engineering
Publications per year
2010–2010
1
1
Rows per page
1–1 of 1