Statistics
Publications
2
Citations
71
H-Index
2
Active since
1997
Affiliations
Michigan State University(Current)
Enoch Y. Wang is an author at Michigan State University specializing in system software, program analysis, and formal verification.
Publications per year
1997–2000
2
2
Formalizing and integrating the dynamic model within OMT
Enoch Y. Wang, Heather Richter, Betty H. C. Cheng · 1997 · 59 citations · Full text
1–2 of 2