☰

Hector A. Andrade-Gomez, Ph.D.

Affiliations: 
2001 University of Florida, Gainesville, Gainesville, FL, United States 
Area:
Computer Science
Google:
"Hector Andrade-Gomez"
Tree Publications Similar researchers PubMed Report error

Parents

Sign in to add mentor
Beverly A. Sanders grad student 2001 UF Gainesville
 (Model checking for open systems: A compositional approach to software verification.)

Children

Sign in to add trainee

Collaborators

Sign in to add collaborator