APA (7th ed.) Citation

Meghzili, S., Chaoui, A., Strecker, M., & Kerkouche, E. (2019). Verification of Model Transformations Using Isabelle/HOL and Scala. Information Systems Frontiers, 21(1), 45. https://doi.org/10.1007/s10796-018-9860-9

Chicago Style (17th ed.) Citation

Meghzili, Said, Allaoua Chaoui, Martin Strecker, and Elhillali Kerkouche. "Verification of Model Transformations Using Isabelle/HOL and Scala." Information Systems Frontiers 21, no. 1 (2019): 45. https://doi.org/10.1007/s10796-018-9860-9.

MLA (9th ed.) Citation

Meghzili, Said, et al. "Verification of Model Transformations Using Isabelle/HOL and Scala." Information Systems Frontiers, vol. 21, no. 1, 2019, p. 45, https://doi.org/10.1007/s10796-018-9860-9.