Login / Signup

Verified Implementation of an Efficient Term-Rewriting Algorithm for Multiplier Verification on ACL2.

Mertcan Temel
Published in: ACL2 (2022)
Keyphrases