☰

George E. Hagen, Ph.D.

Affiliations: 
2008 University of Iowa, Iowa City, IA 
Area:
Computer Science
Google:
"George Hagen"
Tree Publications Similar researchers PubMed Report error

Parents

Sign in to add mentor
Cesare Tinelli grad student 2008 University of Iowa
 (Verifying safety properties of Lustre programs: An SMT-based approach.)

Children

Sign in to add trainee

Collaborators

Sign in to add collaborator