Writing simple programs and properties in Dafny

19 Outubro 2022, 18:30 • Antónia Lopes

Writing simple programs and properties in Dafny.

Solved exercises 2.2, 2.3, 2.4, 2. 5.