Author:
Alkassar Eyad,Böhme Sascha,Mehlhorn Kurt,Rizkallah Christine
Publisher
Springer Berlin Heidelberg
Reference20 articles.
1. Weaver, D., Germond, T. (eds.): The SPARC Architecture Manual Version 9. PTR Prentice Hall, Englewood Cliffs (1994)
2. Lecture Notes in Computer Science;M. Barnett,2006
3. Blum, M., Kannan, S.: Designing programs that check their work. In: Proceedings of the 21th Annual ACM Symposium on Theory of Computing (STOC 1989), pp. 86–97 (1989)
4. Böhme, S., Moskal, M., Schulte, W., Wolff, B.: HOL-Boogie — An interactive prover-backend for the Verifying C Compiler. J. Automated Reasoning 44(1-2), 111–144 (2010)
5. Lecture Notes in Computer Science;L. Bulwahn,2008
Cited by
10 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献