1
Publications
321
Citations
1
H-Index
2000
Active since
William F. Gilreath is an author specializing in formal methods, parallel programming, and system software.
Top concepts
EngineeringFormal MethodsSystem SoftwareComputer ScienceProgram AnalysisSoftware SystemsOperating SystemsSoftware AnalysisParallel ComputingDistributed Systems
Publications per year
2000–2000
1
1
Rows per page
1–1 of 1