%0 Generic
%D 1997
%T Formal Verification of Interactive Systems
%A José Creissac Campos
%I Department of Computer Science, University of York
%U http://www.cs.york.ac.uk/ jfc/qd/qualif_diss.ps.gz
%8 June
%9 1st Year Qualifying Dissertation