Robert W. Sumners, Ph.D.
Affiliations: | 2006 | University of Texas at Austin, Austin, Texas, U.S.A. |
Area:
Electronics and Electrical EngineeringGoogle:
"Robert Sumners"Parents
Sign in to add mentor| Jacob A. Abraham | grad student | 2006 | UT Austin | |
| (Deductive mechanical verification of concurrent systems.) | ||||