Predicate abstraction for software verification 论文

2002引用 280
DOI
Formal Methods in VerificationSoftware Engineering ResearchSoftware Testing and Debugging Techniques
企业软件Software Engineering ResearchFormal Methods in VerificationSoftware Testing and Debugging Techniques
相关技术:Formal Methods in Verification
关系图谱

Predicate abstraction for software verification · 相关文章

暂无数据