Personal tools
  •  

Formal Verification

26/09/2017 07:46:12, theon, Refresh, Feedback

Course Details

TitleFormal Verification
School AcronymFV
Level11
Points10
Normal Year Taken4
Delivery PeriodS2
School Course Pagehttp://www.inf.ed.ac.uk/teaching/courses/fv
University Course PageINFR11129

Staff and Groups

The following staff are associated with this course.

Course Lecturer(s)
NameEmailOfficePhone
J Fleuriot jdf@staffmail.ed.ac.uk IF-2.15 509342
P Jackson Paul.Jackson@ed.ac.uk IF-2.12 505131
Teaching Support
NONE ALLOCATED
Admin Support
Please use the ISS Contact Form to contact admin support
NONE ALLOCATED