Formal Analysis, Theory and Algorithms Research Group
(FATA)

Department of Computing Science
University of Glasgow

The FMT pages have moved to http://www.dcs.gla.ac.uk/research/fata/ please adjust your links accordingly.