Evan Czaplicki is an author at Harvard University Press specializing in parallel programming, automated reasoning, and formal methods.
Top concepts
DesignEngineeringFormal MethodsSoftware DesignSystem SoftwareComputer ScienceProgram AnalysisAutomated ReasoningFormal VerificationComputer Engineering
Publications per year
2013–2013
2
2
Rows per page
1–2 of 2