Homework Eight: Stepwise refinement

The following homework is due on Thursday 18th November 2010.

Make sure you attempt it early so you have time to ask for help in G Block.

If you have lost the sheet you can access it here >>>>