1
Publications
170
Citations
1
H-Index
1992
Active since
Affiliations
University of Colorado System(Current)
Steven P. Levi is an author at University of Colorado System specializing in formal verification, system software, and computer engineering.
Top concepts
CompilersEngineeringFormal MethodsSoftware DesignSystem SoftwareComputer ScienceProgram AnalysisSoftware AnalysisFormal VerificationSystems Engineering
Publications per year
1992–1992
1
1
Eli: a complete, flexible compiler construction system
Robert William Gray, Steven P. Levi, Vincent P. Heuring et al. · Communications of the ACM · 1992 · 170 citations · Full text
Rows per page
1–1 of 1