Journal of symbolic computation. 1996;21(1):41-99. doi: 10.1006/jsco.1996.0003 Q21.12025

Inductive Theorem Proving for Design Specifications

DOI: 10.1006/jsco.1996.0003

摘要 查看摘要

Copyright © . 中文内容为AI机器翻译，仅供参考！