Author:
Colby Christopher,Lee Peter,Necula George C.,Blau Fred,Plesko Mark,Cline Kenneth
Cited by
45 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Verified Rust Monitors for Lola Specifications;Runtime Verification;2020
2. Self-certification;ACM SIGPLAN Notices;2012-01-18
3. Hardware-Dependent Proofs of Numerical Programs;Certified Programs and Proofs;2011
4. Certified software;Communications of the ACM;2010-12
5. Safe, multiphase bounds check elimination in Java;Software: Practice and Experience;2010-11-25