Author:
Dghaym Dana,Hoang Thai Son,Butler Michael,Hu Runshan,Aniello Leonardo,Sassone Vladimiro
Publisher
Springer International Publishing
Reference12 articles.
1. Abrial, J.-R.: Modeling in Event-B: System and Software Engineering. Cambridge University Press, Cambridge (2010)
2. Abrial, J.-R., Butler, M., Hallerstede, S., Hoang, T.S., Mehta, F., Voisin, L.: Rodin: an open toolset for modelling and reasoning in Event-B. STTT 12(6), 447–466 (2010). https://doi.org/10.1007/s10009-010-0145-y
3. Lecture Notes in Computer Science;E Börger,2003
4. Culnane, C., Schneider, S.: A peered bulletin board for robust use in verifiable voting systems. In: 2014 IEEE 27th Computer Security Foundations Symposium (CSF), Los Alamitos, CA, USA, pp. 169–183. IEEE Computer Society (2014)
5. Galois and Free & Fair: The BESSPIN Voting System, May 2019. https://github.com/GaloisInc/BESSPIN-Voting-System-Demonstrator-2019. Accessed 02 Feb 2021
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献