1
Publications
245
Citations
1
H-Index
2014
Active since
Felix S. Klock is an author specializing in system software, formal methods, and engineering.
Top concepts
LanguageEngineeringFormal MethodsSystem SoftwareComputer ScienceProgram AnalysisHardware SecuritySoftware AnalysisParallel ComputingApplied Linguistics
Publications per year
2014–2014
1
1
Nicholas D. Matsakis, Felix S. Klock · ACM SIGAda Ada Letters · 2014 · 245 citations
Engineering, Computer Architecture, Memory Model (Programming) +23
Rows per page
1–1 of 1