This term I am helping with Prototyping from Specification. If you have any questions please contact me and I'll be happy to help.

Last term I was helping with Formal Specification and High Integrity Computing. If you have any questions about these courses, whether it be to do with the course content/examples/exam questions or a general question, then please email me and ask.