1
Publications
170
Citations
1
H-Index
1992
Active since
Affiliations
University of Colorado Boulder(Current)
Robert William Gray is an author at University of Colorado Boulder specializing in formal verification, software engineering, 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