Design by Contract in Dafny

16 Novembro 2022, 18:30 • Antónia Lopes

Writing classes in Dafny with property-based specifications