Computer Aided Formal Reasoning
Computer Aided Formal Reasoning (CAFR) is being taught at the University of Edinburgh to Msc and PhD students.
CAFR 97-98
CAFR 96-97
CAFR 95-96
Last updated on 23 October 1997 by
<lego@dcs.ed.ac.uk>