APA (7th ed.) Citation

Hughes, J., Norell, U., & Sautret, J. (2010). Using temporal relations to specify and test an instant messaging server. Proceedings - International Conference on Software Engineering, 95. https://doi.org/10.1145/1808266.1808281

Chicago Style (17th ed.) Citation

Hughes, John, Ulf Norell, and J. Sautret. "Using Temporal Relations to Specify and Test an Instant Messaging Server." Proceedings - International Conference on Software Engineering 2010: 95. https://doi.org/10.1145/1808266.1808281.

MLA (9th ed.) Citation

Hughes, John, et al. "Using Temporal Relations to Specify and Test an Instant Messaging Server." Proceedings - International Conference on Software Engineering, 2010, p. 95, https://doi.org/10.1145/1808266.1808281.