APA (7th ed.) Citation

Wei, Y., Furia, C. A., Kazmin, N., & Meyer, B. (2011, May 21). Inferring better contracts. 2011 33rd International Conference on Software Engineering (ICSE), 191-200. https://doi.org/10.1145/1985793.1985820

Chicago Style (17th ed.) Citation

Wei, Yi, Carlo A. Furia, Nikolay Kazmin, and Bertrand Meyer. "Inferring Better Contracts." 2011 33rd International Conference on Software Engineering (ICSE) 21 May. 2011: 191-200. https://doi.org/10.1145/1985793.1985820.

MLA (9th ed.) Citation

Wei, Yi, et al. "Inferring Better Contracts." 2011 33rd International Conference on Software Engineering (ICSE), 21 May. 2011, pp. 191-200, https://doi.org/10.1145/1985793.1985820.