Obligatory Exercise II

Oblig II on refinement

Deadline midnight October 15

You may do it yourself or as a group of max three students

The solution (pdf and easily readable when printed in A4) should be sent to kst@sintef.no