Author:
Affeldt Reynald,Tanaka Miki,Marti Nicolas
Publisher
Springer Berlin Heidelberg
Reference16 articles.
1. The LogiCal Project, INRIA. The Coq proof assistant, http://coq.inria.fr
2. Thompson, S.: Type Theory and Functional Programming. Addison-Wesley, Reading (1991)
3. Winskel, G.: The Formal Semantics of Programming Languages. MIT Press, Cambridge (1993)
4. Bellare, M., Rogaway, P.: Random Oracle are Practical: A Paradigm for Designing Efficient Protocols. In: CCS 1993. 1st ACM Conference on Computer and Communications Security, pp. 62–73. ACM Press, New York
5. Lecture Notes in Computer Science;M. Bellare,1996
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献