Using program synthesis to secure smart contracts (2018)synthetic-minds.com41 points·saurabh20n··0 commentsOpen articleSaveView on HN