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.
Cita Chicago (17th ed.)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, i R. Nagarajan. Theory and Formal Methods of Computing 94: Proceedings of the Second Imperial College Workshop. London: Imperial College Press, 1995.
Cita MLA (9th ed.)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.