Formal Specification notes


These revision notes belong to me, you can use them for your own revision but please do not take any credit for them.
Thanks to my lecturers who taught me on these courses at Oxford Brookes University.