J. J. Lee

Affiliations

J. J. Lee is an author at Imperial College London specializing in system software, software analysis, and computer science.

Top concepts

CompilersEngineeringSemantic WebVerificationFormal MethodsSystem SoftwareTest GenerationComputer ScienceProgram AnalysisSoftware Systems