Extraction of Structured Programs from Specification Proofs 论文

2000Lecture notes in computer science引用 317
DOIPDF
Logic, programming, and type systemsFormal Methods in VerificationSoftware Testing and Debugging Techniques
Logic, programming, and type systemsFormal Methods in VerificationSoftware Testing and Debugging Techniques
相关技术:Formal Methods in Verification
关系图谱

Extraction of Structured Programs from Specification Proofs · 相关文章

暂无数据