Proving the correctness of reactive systems using sized types 论文

1996引用 314
DOIPDF
Logic, programming, and type systemsFormal Methods in VerificationSoftware Engineering Research
企业软件Software Engineering ResearchLogic, programming, and type systemsFormal Methods in Verification
相关技术:Formal Methods in Verification
关系图谱

Proving the correctness of reactive systems using sized types · 相关文章

暂无数据