Coursera Flash Sale
40% Off Coursera Plus for 3 Months!
Grab it
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.