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ção norma ChicagoImperial 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.
Citação norma MLAImperial 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.