Exercises for labs week 23 -- 27 Sept
20 setembro 2019, 11:10 • Jan Gunnar Cederquist
Next week we will start with labs of Software Specification.
There is an exercise sheet W1-FOL in "Lab exercises". The recommended exercises are
Section 1.2: 1, 2.
Section 1.3: 1, 3.
Section 2: 1-13.