APA (7th ed.) Citation

British Computer Society, Imperial College of Science, Technology, and Medicine (Great Britain). Dept. of Computing, Imperial College Department of Computing Workshop on Theory and Formal Methods (1st : 1993 : Chelwood Gate, England), Burn, G., Gay, S., & Ryan, M. (1993). Theory and formal methods: Proceedings of the First Imperial College Department of Computing Workshop on Theory and Formal Methods, Isle of Thorns Conference Centre, Chelwood Gate, Sussex, UK, 29-31 March 1993. Springer-Verlag.

Chicago Style (17th ed.) Citation

British Computer Society, Technology Imperial College of Science, England) Imperial College Department of Computing Workshop on Theory and Formal Methods (1st : 1993 : Chelwood Gate, Geoffrey Burn, Simon Gay, and Mark Ryan. Theory and Formal Methods: Proceedings of the First Imperial College Department of Computing Workshop on Theory and Formal Methods, Isle of Thorns Conference Centre, Chelwood Gate, Sussex, UK, 29-31 March 1993. London: Springer-Verlag, 1993.

MLA (9th ed.) Citation

British Computer Society, et al. Theory and Formal Methods: Proceedings of the First Imperial College Department of Computing Workshop on Theory and Formal Methods, Isle of Thorns Conference Centre, Chelwood Gate, Sussex, UK, 29-31 March 1993. Springer-Verlag, 1993.