APA (7th ed.) Citation

Krings, S., Leuschel, M., Schmidt, J., Schneider, D., & Frappier, M. (2020). Translating Alloy and extensions to classical B. Science of Computer Programming, 188, N.PAG. https://doi.org/10.1016/j.scico.2019.102378

Chicago Style (17th ed.) Citation

Krings, Sebastian, Michael Leuschel, Joshua Schmidt, David Schneider, and Marc Frappier. "Translating Alloy and Extensions to Classical B." Science of Computer Programming 188 (2020): N.PAG. https://doi.org/10.1016/j.scico.2019.102378.

MLA (9th ed.) Citation

Krings, Sebastian, et al. "Translating Alloy and Extensions to Classical B." Science of Computer Programming, vol. 188, 2020, p. N.PAG, https://doi.org/10.1016/j.scico.2019.102378.