Journal of automated reasoning. 2001;27(1):61-87. doi: 10.1023/a:1010663224299 Q40.72025

Studies of a Theory of Specifications with Built-in Program Extraction

带有内置程序提取的规范理论研究

DOI: 10.1023/a:1010663224299

摘要 查看摘要

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