1. Annenkov, D., Nielsen, J.B., Spitters, B.: Concert: a smart contract certification framework in Coq. Certified Programs and Proofs, CPP, ACM (2020)
2. Lecture Notes in Computer Science;N Benaïssa,2006
3. Bernardo, B., Cauderlier, R., Hu, Z., Pesin, B., Tesson, J.: Mi-cho-coq, a framework for certifying tezos smart contracts. CoRR, (abs/1909.08671) (2019)
4. CHIST-ERA. Success: Secure accessibility for the internet of things (2016). http://www.chistera.eu/projects/success
5. FMBC. International workshop on formal methods for blockchain (2019). https://fmbc.gitlab.io