David Gordon is an author at Language Technology Centre specializing in system software, software security, and formal verification.
Top concepts
EngineeringCryptographyData SecuritySystem SoftwareComputer ScienceProgram AnalysisOperating SystemsSoftware AnalysisSoftware SecurityFormal Verification
Publications per year
2004–2004
1
1
Rows per page
1–1 of 1