Capita Selecta Information Systems
Capita Selecta Information Systems - Formal Methods
More info and materials, on the other modules in this course, is available in blackboard.
Slides (pdf)
Practicum assignment with ESC/Java