Author:
Pattinson Dirk,Tiwari Mukesh
Publisher
Springer International Publishing
Reference20 articles.
1. Arkoudas, K., Rinard, M.C.: Deductive runtime certification. Electr. Notes Theoret. Comput. Sci. 113, 45–63 (2005)
2. Arrow, K.J.: A difficulty in the concept of social welfare. J. Polit. Econ. 58(4), 328–346 (1950)
3. Beckert, B., Goré, R., Schürmann, C., Bormer, T., Wang, J.: Verifying voting schemes. J. Inf. Secur. Appl. 19(2), 115–129 (2014)
4. Bertot, Y.: Coinduction in Coq. CoRR, abs/cs/0603119 (2006)
5. Texts in Theoretical Computer Science;Y Bertot,2004
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献