APA (7th ed.) Citation

Araujo, W., Briand, L. C., & Labiche, Y. (2011). Enabling the runtime assertion checking of concurrent contracts for the Java modeling language. ICSE: International Conference on Software Engineering, 786. https://doi.org/10.1145/1985793.1985903

Chicago Style (17th ed.) Citation

Araujo, Wladimir, Lionel C. Briand, and Yvan Labiche. "Enabling the Runtime Assertion Checking of Concurrent Contracts for the Java Modeling Language." ICSE: International Conference on Software Engineering 2011: 786. https://doi.org/10.1145/1985793.1985903.

MLA (9th ed.) Citation

Araujo, Wladimir, et al. "Enabling the Runtime Assertion Checking of Concurrent Contracts for the Java Modeling Language." ICSE: International Conference on Software Engineering, 2011, p. 786, https://doi.org/10.1145/1985793.1985903.