MA Syllabus 2008 Onwards
#. Programming Methods Dr Robert Harle IA NST CS and CST Lent 2008/09 Handout 4.
Z Specification of the Library System Boumediene Belkhouche Fall 2012 1.
All-or-Nothing Approach to Protect a Distance Bounding Protocol against Terrorist Fraud Attack School of Computer Science Institute for Research in Fundamental.
Formal Methods and Models
Programming Methods Dr Robert Harle