Advances in theory and formal methods of computing：proceedings of the Third Imperial College Workshop : Christ Church, Oxford, 1-3 April 1996

Corporate Authors: Imperial College Department of Computing Workshop on Theory and Formal Methods 1996 Oxford, England) (Oxford, England)); Imperial College of Science, Technology, and Medicine (Great Britain). Dept. of Computing.
Group Author: (Abbas); Jourdan S.; (Sofia); McCusker G.; (Guy); Edalat A.
Published: Imperial Collge Press,
Publication Dates: c1996.
Call Number: TP311-532/A244/1996/