2
Publications
53
Citations
2
H-Index
2020
Active since
Affiliations
Queen Mary University of London(Current)
Kareem Khazem is an author at Queen Mary University of London specializing in systems engineering, computer science, and system software.
Top concepts
EngineeringVerificationFormal MethodsSystem SoftwareComputer ScienceProgram AnalysisSoftware AnalysisFormal VerificationSystems EngineeringFormal Specification
Publications per year
2020–2021
2
2
Code-level model checking in the software development workflow
Nathan Chong, Byron Cook, Kareem Khazem et al. · 2020 · 29 citations · Full text
Rows per page
1–2 of 2