Hacker News new | ask | show | jobs
Verification and Simulation as Necessary Complements in Smart Contract Security (medium.com)
6 points by Peteris 2491 days ago