APA (7th ed.) Citation

Sampaio, A., Nogueira, S., Mota, A., & Isobe, Y. (2014). Sound and mechanised compositional verification of input-output conformance. Software Testing: Verification & Reliability, 24(4), 289. https://doi.org/10.1002/stvr.1498

Chicago Style (17th ed.) Citation

Sampaio, Augusto, Sidney Nogueira, Alexandre Mota, and Yoshinao Isobe. "Sound and Mechanised Compositional Verification of Input-output Conformance." Software Testing: Verification & Reliability 24, no. 4 (2014): 289. https://doi.org/10.1002/stvr.1498.

MLA (9th ed.) Citation

Sampaio, Augusto, et al. "Sound and Mechanised Compositional Verification of Input-output Conformance." Software Testing: Verification & Reliability, vol. 24, no. 4, 2014, p. 289, https://doi.org/10.1002/stvr.1498.