Imperial College of Science, Technology and Medicine. Department of Computing, Imperial College Department of Computing Workshop on Theory and Formal Methods, Edalat, A., Jourdan, S., & McCusker, G. (1996). Advances in theory and formal methods of computing: Proceedings of the Third Imperial College Workshop : Christ Church, Oxford, 1-3 April 1996.
Cita Chicago Style (17a ed.)Imperial College of Science, Technology and Medicine. Department of Computing, Imperial College Department of Computing Workshop on Theory and Formal Methods, Abbas Edalat, Sofia Jourdan, y Guy McCusker. Advances in Theory and Formal Methods of Computing: Proceedings of the Third Imperial College Workshop : Christ Church, Oxford, 1-3 April 1996. London : Imperial Collge Press, 1996.
Cita MLA (9a ed.)Imperial College of Science, Technology and Medicine. Department of Computing, et al. Advances in Theory and Formal Methods of Computing: Proceedings of the Third Imperial College Workshop : Christ Church, Oxford, 1-3 April 1996. 1996.