Certifying Findel derivatives for blockchain - Arusoaie, Andrei (Journal of logical and algebraic methods in programming, 2021)
Keywords: Blockchain; Certification; Coq; Financial derivatives; Findel; Smart contracts; Coq; Smart contracts; Financial derivatives; Certification; Findel; Blockchain