Publisher
Springer International Publishing
Reference13 articles.
1. CakeML: A Verified Implementation of ML. https://cakeml.org/
2. Conway, A., Blom, M., Naish, L., Teague, V.: An analysis of New South Wales electronic vote counting. In: Proceeding of ACSW 2017, pp. 24:1–24:5 (2017)
3. The Coq Theorem Prover. https://coq.inria.fr/
4. Lecture Notes in Computer Science;H DeYoung,2012
5. Lecture Notes in Computer Science;MK Ghale,2017