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ção do estilo Chicago (17ª 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, e 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ção MLA (9ª 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.