Author:
Rosenzweig Dean,Runje Davor
Publisher
Springer Berlin Heidelberg
Reference24 articles.
1. Abadi, M., Rogaway, P.: Reconciling two views of cryptography. Journal of Cryptology 15(2), 103–127 (2002)
2. Börger, E., Durdanović, I.: Correctness of compiling Occam to Transputer code. Computer Journal 39(1), 52–92 (1996)
3. Lecture Notes in Computer Science;M. Bellare,1998
4. Lecture Notes in Computer Science;M. Bellare,2000
5. Börger, E., Rosenzweig, D.: TheWAM – Definition and Compiler Correctness. In: Logic Programming: Formal Methods and Practical Applications, pp. 20–90. North-Holland, Amsterdam (1994)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献