Towards Static Verification of Clojure Contract-Based Programs. - Gheorghe Pinzaru; Victor Rivera (TOOLS, 2019)