Formal Written Methods

This week we have learnt about Formal written methods. We have used them to add and take away. We are beginning to be able to write our own success criteria for this!