Author:
Jung Yungbum,Kim Jaehwang,Shin Jaeho,Yi Kwangkeun
Publisher
Springer Berlin Heidelberg
Reference14 articles.
1. bugtraq, http://www.securityfocus.com
2. CERT/CC advisories, http://www.cert.org/advisories
3. Berger, J.O.: Statistical Decision Theory and Bayesian Analysis, 2nd edn. Springer, Heidelberg (1985)
4. Blanchet, B., Cousot, P., Cousot, R., Feret, J., Mauborgne, L., Mine, A., Monnizux, D., Rival, X.: A static analyzer for large safety-critical software. In: Proceedings of the SIGPLAN Conference on Programming Language Design and Implementation, June 2003, pp. 196–207 (2003)
5. Lecture Notes in Computer Science;P. Cousot,1992
Cited by
37 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献