Ada maxr • 4 years ago • 100%

FOSDEM 2021: Adding contracts to the Ada standard libraries

youtu.be