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]
No references recorded for this publication.
No citations of this publication recorded.