Papers We Love Bangalore: February 2022 Meetup
"Developing Verified Programs with Dafny" read by Divyanshu Ranjan
The paper (https://www.microsoft.com/en-us/research/wp-content/uploads/2016/12/krml233.pdf) presents the Dafny language through a series of small examples towards building verified programs.
Hosted by
Hosted by