J Strother Moore
University of Texas, Austin

Citation

For contributions to mechanized theorem proving.



[Fellows]   [Awards]