Google, IBM & Meta Certificates — All 10,000+ Courses at 40% Off
One annual plan covers every course and certificate on Coursera. 40% off for a limited time.
Get Full Access
Watch a keynote presentation by K. Rustan M. Leino from Amazon delivered at the Dafny 2025 workshop on January 19, 2025. This 1 hour and 29 minute video captures Leino's address at the workshop sponsored by ACM SIGPLAN. The workshop was part of the POPL25 conference, though the specific content of the keynote is not detailed in the abstract. Gain insights from a prominent figure in the Dafny programming language community through this comprehensive recorded session.
