APA (7th ed.) Citation

Julliand, J., Stouls, N., Bué, P., & Masson, P. (2013). B model slicing and predicate abstraction to generate tests. Software Quality Journal, 21(1), 127. https://doi.org/10.1007/s11219-011-9161-8

Chicago Style (17th ed.) Citation

Julliand, J., N. Stouls, P.-C Bué, and P.-A Masson. "B Model Slicing and Predicate Abstraction to Generate Tests." Software Quality Journal 21, no. 1 (2013): 127. https://doi.org/10.1007/s11219-011-9161-8.

MLA (9th ed.) Citation

Julliand, J., et al. "B Model Slicing and Predicate Abstraction to Generate Tests." Software Quality Journal, vol. 21, no. 1, 2013, p. 127, https://doi.org/10.1007/s11219-011-9161-8.