J Strother Moore

Professor Emeritus

University of Texas at Austin · United States

About

J Strother Moore with D. A. Greve, M. Kaufmann, P. Manolios, S. Ray, J. L. Ruiz-Reina, R. Sumners, D. Vroon, and M. Wilding. January 2008. Efficient Execution in an Automated Reasoning Environment.

Data verified 9/6/2026Source

Student reviews

No reviews yet. Be the first to share your experience.