Statistics
Publications
1
Citations
18
H-Index
1
Active since
1997
Levitt is an author specializing in formal methods, program analysis, and computer engineering.
Publications per year
1997–1997
1
1
Verifying correct pipeline implementation for microprocessors
Levitt, Olukotun · 1997 · 18 citations
Engineering, Hardware Verification Language, Verification +19
1–1 of 1