Queen's University of Belfast, Department of Computer Science

Tech reports (www)
Theses (www)
Papers (www) from Formal Methods Research group
Publications (www) from Stephen Fitzpatrick