L. Li is an author at McGill University specializing in formal verification, system software, and engineering.
Top concepts
SimulationEngineeringSystem SoftwareComputer ScienceHardware SecurityParallel ComputingFormal VerificationSystems EngineeringComputer EngineeringParallel Programming
Publications per year
2004–2004
1
1
Rows per page
1–1 of 1