Engineering formal metatheory 论文

2008引用 217
DOIPDF
Logic, programming, and type systemsFormal Methods in VerificationLogic, Reasoning, and Knowledge
Logic, Reasoning, and KnowledgeLogic, programming, and type systemsFormal Methods in Verification
相关技术:Formal Methods in Verification
关系图谱

Engineering formal metatheory · 相关文章

暂无数据