Trinity College Dublin

Skip to main content.

Top Level TCD Links

Sitemap

Module CS4003: Formal Methods

Credit weighting (ECTS)
5 credits
Semester/term taught
Michaelmas term 2013-14
Contact Hours
11 weeks, 3 lectures including tutorials per week
Lecturer
Dr Andrew Butterfield
All Details
See module details on Computer Science website