Theory and formal methods of computing 94 proceedings of the Second Imperial College Workshop - Hankin, Chris; Mackie, I. (Ian).; Nagarajan, R. (Rajagopal).; Imperial College of Science, Technology, and Medicine (Great Britain). Dept. of Computing; Imperial College Department of Computing Workshop on Theory and Formal Methods Cambridge, England). 1994 (London Imperial College Press, 1995)
At head of title: Imperial College, Department of Computing.
Papers presented at the Second Workshop of the Theory and Formal Methods Section of the Department of Computing, Imperial College, London held in Cambridge on 11th-14th September 1994.
Keywords: Computer science -- Congresses