HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:J Moore

Publications
Industrial Use of ACL2: Applications, Achievements, Challenges, and Directions
J Moore and Marijn Heule
In:ARCADE 2017. 1st International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements

Keyphrases

achievements, ACL2, industrial applications, interactive theorem proving.

Copyright © 2012-2025 easychair.org. All rights reserved.