Huafeng Jin, Ph.D.
Affiliations: | 2012 | University of Florida, Gainesville, Gainesville, FL, United States |
Area:
Computer Science, Computer EngineeringGoogle:
"Huafeng Jin"Parents
Sign in to add mentorBeverly A. Sanders | grad student | 2012 | UF Gainesville | |
(Java memory model-aware model checking.) |