APA (7th ed.) Citation

De C. Gomes, P., Gurov, D., Huisman, M., & Artho, C. (2018). Specification and verification of synchronization with condition variables. Science of Computer Programming, 163, 174. https://doi.org/10.1016/j.scico.2018.05.001

Chicago Style (17th ed.) Citation

De C. Gomes, Pedro, Dilian Gurov, Marieke Huisman, and Cyrille Artho. "Specification and Verification of Synchronization with Condition Variables." Science of Computer Programming 163 (2018): 174. https://doi.org/10.1016/j.scico.2018.05.001.

MLA (9th ed.) Citation

De C. Gomes, Pedro, et al. "Specification and Verification of Synchronization with Condition Variables." Science of Computer Programming, vol. 163, 2018, p. 174, https://doi.org/10.1016/j.scico.2018.05.001.