Montgomery Carter is an author at IMDEA Software Institute specializing in computer science, software verification, and software design.
Top concepts
EngineeringVerificationData SecurityFormal MethodsSoftware DesignSystem SoftwareComputer ScienceProgram AnalysisSoftware TestingSoftware Analysis
Publications per year
2016–2016
1
1
SMACK software verification toolchain
Montgomery Carter, Shaobo He, Jonathan Whitaker et al. · 2016 · 34 citations · Full text
Rows per page
1–1 of 1