Improving the Usability of HOL Through Controlled Automation Tactics

DOI10.1007/978-3-540-74591-4_13zbMath1144.68360OpenAlexW1607688903MaRDI QIDQ3523173

Eunsuk Kang, Mark D. Aagaard

Publication date: 2 September 2008

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-74591-4_13

Mathematics Subject Classification ID

Uses Software

• MetaPRL

This page was built for publication: Improving the Usability of HOL Through Controlled Automation Tactics