Termination proofs for systems code 论文

2006ACM SIGPLAN Notices引用 322
DOI
Security and Verification in ComputingSoftware Testing and Debugging TechniquesFormal Methods in Verification
网络安全Security and Verification in ComputingFormal Methods in VerificationSoftware Testing and Debugging Techniques
相关技术:Formal Methods in Verification
关系图谱

Termination proofs for systems code · 作者

A

Andrey Rybalchenko

A

Andreas Podelski

B

Byron Cook