Proving Properties of Programs by Structural Induction 论文

1969The Computer Journal引用 327
DOI
Logic, programming, and type systemsComputability, Logic, AI AlgorithmsSoftware Engineering Research
企业软件Software Engineering ResearchComputability, Logic, AI AlgorithmsLogic, programming, and type systems
相关技术:Computability, Logic, AI Algorithms
关系图谱

Proving Properties of Programs by Structural Induction · 相关文章

暂无数据