Theory and formal methods：proceedings of the First Imperial College Department of Computing Workshop on Theory and Formal Methods, Isle of Thorns Conference Centre, Chelwood Gate, Sussex, UK, 29-31 March 1993

Corporate Authors: Imperial College Department of Computing Workshop on Theory and Formal Methods (1st 1993 Chelwood Gate; Imperial College of Science, Technology, and Medicine Great Britain. Dept. of Computing; British Computer Society
Group Author: Burn Geoffrey; Gay Simon 1969-; Ryan Mark 1962-
Published: Springer-Verlag,
Publication Dates: c1993.
Call Number: TP301-532/I34/1993/