Prove it! Inferring Formal Proof Scripts from CafeOBJ Proof Scores

Adrián Riesco, Kazuhiro Ogata 0001. Prove it! Inferring Formal Proof Scripts from CafeOBJ Proof Scores. ACM Transactions on Software Engineering Methodology, 27(2), 2018. [doi]

Abstract

Abstract is missing.