1
Publications
262
Citations
1
H-Index
2014
Active since
Felix S. Klock is an author specializing in formal verification, system software, and computer engineering.
Top concepts
LanguageEngineeringFormal MethodsSystem SoftwareComputer ScienceProgram AnalysisSoftware AnalysisApplied LinguisticsFormal VerificationSystems Engineering
Publications per year
2014–2014
1
1
Nicholas D. Matsakis, Felix S. Klock · 2014 · 262 citations
Rows per page
1–1 of 1