Hacker News new | past | comments | ask | show | jobs | submit
rramadass | on: Tony Hoare has died
You might find this paper interesting (uses examples in Dafny) - https://news.ycombinator.com/item?id=47334375