Douglas A. Stuart

DA

15

Publications

1K

Citations

12

H-Index

1988

Active since

Douglas A. Stuart is an author at The University of Texas at Austin specializing in engineering, formal methods, and formal verification.

Publications per year

1988–2018

15

Publications

15