CT216 home page: introduction to formal methods
background information, references, tutorials, etc.
tutorial 1
how to use LaTeX at NUI, Galway
how to typeset Z schema in LaTeX
the
general exam papers
site.
Michael Mc Gettrick