Author:Joe Leslie-Hurd

Publications
Evaluation Opportunities in Mechanized Theories Joe Hurd In:EMSQMS 2010. Workshop on Evaluation Methods for Solvers, and Quality Metrics for Solutions
Composable Packages for Higher Order Logic Theories Joe Hurd In:VERIFY-2010. 6th International Verification Workshop