A Skeptic’s Approach to Combining HOL and Maple
Journal of Automated Reasoning
Formalization of fixed-point arithmetic in HOL
Formal Methods in System Design
Defining functions on equivalence classes
ACM Transactions on Computational Logic (TOCL)
Constructive analysis, types and exact real numbers
Mathematical Structures in Computer Science
Error Analysis and Verification of an IEEE 802.11 OFDM Modem using Theorem Proving
Electronic Notes in Theoretical Computer Science (ENTCS)
Hi-index | 0.00 |