From Programs to People:

Formal Methods meets the Freedom of the Human Spirit

Alan Dix

The HCI Research Centre
School of Computing and Mathematics
University of Huddersfield, Huddersfield, UK. email: A.J.Dix@soc.staffs.ac.uk

Invited talk at the BCS FACS Christmas Workshop
Imperial College, London on 19th December 1995

Slides