Advances in theory and formal methods of computing : proceedings of the Third Imperial College Workshop : Christ Church, Oxford, 1-3 April 1996 /
Edalat, A.(Abbas)
Jourdan, S.(Sofia)
McCusker, G.(Guy)
Imperial College of Science, Technology, and Medicine (Great Britain).Department of Computing.
Imperial College Department of Computing Workshop on Theory and Formal Methods(3rd :1996 :Oxford, England)
London : Imperial Collge Press,
c1996.
"Proceedings of the third workshop of the Theory and Formal Methods Section of the Department of Computing, Imperial College, London"--P. v.
Includes bibliographical references.
Computer science