APA (7th ed.) Citation

Imperial College of Science, Technology, and Medicine (Great Britain). Dept. of Computing, Imperial College Department of Computing Workshop on Theory and Formal Methods, Hankin, C., Mackie, I., & Nagarajan, R. (1995). Theory and formal methods of computing 94: Proceedings of the Second Imperial College Workshop. Imperial College Press.

Chicago Style (17th ed.) Citation

Imperial College of Science, Technology, and Medicine (Great Britain). Dept. of Computing, Imperial College Department of Computing Workshop on Theory and Formal Methods, Chris Hankin, I. Mackie, and R. Nagarajan. Theory and Formal Methods of Computing 94: Proceedings of the Second Imperial College Workshop. London: Imperial College Press, 1995.

MLA (9th ed.) Citation

Imperial College of Science, Technology, and Medicine (Great Britain). Dept. of Computing, et al. Theory and Formal Methods of Computing 94: Proceedings of the Second Imperial College Workshop. Imperial College Press, 1995.