PWL Bangalore: February 2022 Meetup

Details

Reading "Developing Verified Programs with Dafny" with Divyanshu Ranjan

Hosted on Zoom through the Hasgeek.com platform.

https://hasgeek.com/pwl-bangalore/pwl-bangalore-january-2022-meetup/