Author Search Results

1

Proving Skipping Refinement with ACL2s

by Mitesh Jain, Panagiotis Manolios
Published 2015-09-01

Get full text

Article
2

Data Definitions in the ACL2 Sedan

by Harsh Raju Chamarthi, Peter C. Dillinger, Panagiotis Manolios
Published 2014-06-01

Get full text

Article
3

Integrating Testing and Interactive Theorem Proving

by Harsh Raju Chamarthi, Peter C. Dillinger, Matt Kaufmann, Panagiotis Manolios
Published 2011-10-01

Get full text

Article