5
Publications
151
Citations
5
H-Index
1998
Active since
Eric Y. T. Juan is an author at University of Illinois Chicago specializing in engineering, formal verification, and formal methods.
Top concepts
EngineeringFormal MethodsComputer ScienceFormal VerificationSystems EngineeringVerificationSystem SoftwareProgram AnalysisSoftware AnalysisMedicine
Publications per year
1998–2013
5
5
Rows per page
1–5 of 5