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 - Burn, Geoffrey; Gay, Simon 1969-.; Ryan, Mark.; British Computer Society; Imperial College of Science, Technology, and Medicine (Great Britain). Dept. of Computing; Imperial College Department of Computing Workshop on Theory and Formal Methods (1st : 1993 : Chelwood Gate, England). (London Springer-Verlag, 1993)
"Published in collaboration with the British Computer Society."
Keywords: Electronic digital computers -- Programming -- Congresses