APA (7th ed.) Citation

Ait-Ameur, Y., & Méry, D. (2016). Making explicit domain knowledge in formal system development. Science of computer programming, 121(100--127), 100-127. https://doi.org/10.1016/j.scico.2015.12.004

Chicago Style (17th ed.) Citation

Ait-Ameur, Yamine, and Dominique Méry. "Making Explicit Domain Knowledge in Formal System Development." Science of Computer Programming 121, no. 100--127 (2016): 100-127. https://doi.org/10.1016/j.scico.2015.12.004.

MLA (9th ed.) Citation

Ait-Ameur, Yamine, and Dominique Méry. "Making Explicit Domain Knowledge in Formal System Development." Science of Computer Programming, vol. 121, no. 100--127, 2016, pp. 100-127, https://doi.org/10.1016/j.scico.2015.12.004.