Robert W. Sumners, Ph.D.

Affiliations: 
2006 University of Texas at Austin, Austin, Texas, U.S.A. 
Area:
Electronics and Electrical Engineering
Google:
"Robert Sumners"

Parents

Sign in to add mentor
Jacob A. Abraham grad student 2006 UT Austin
 (Deductive mechanical verification of concurrent systems.)
BETA: Related publications

Publications

You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect.

Vasudevan S, Viswanath V, Sumners RW, et al. (2007) Automatic verification of arithmetic circuits in RTL using stepwise refinement of term rewriting systems Ieee Transactions On Computers. 56: 1401-1414
See more...