Publisher
Springer Berlin Heidelberg
Reference29 articles.
1. Appel, A.: Fundational Proof-carrying Code. In: Proceeding of 16th IEEE Symposium on Logics in Computer Science (June 2001)
2. Lecture Notes in Computer Science;T. Ball,2001
3. Lecture Notes in Computer Science;S. Bensalem,1998
4. Lecture Notes in Artificial Intelligence;A. Bernard,2002
5. Lecture Notes in Computer Science;E.M. Clarke,2000
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Certified Symbolic Execution;Automated Technology for Verification and Analysis;2016