APA (7th ed.) Citation

Chevrou, F., Hurault, A., & Quéinnec, P. (2019). A modular framework for verifying versatile distributed systems. Journal of logical and algebraic methods in programming, 108, 24-46. https://doi.org/10.1016/j.jlamp.2019.05.008

Chicago Style (17th ed.) Citation

Chevrou, Florent, Aurélie Hurault, and Philippe Quéinnec. "A Modular Framework for Verifying Versatile Distributed Systems." Journal of Logical and Algebraic Methods in Programming 108 (2019): 24-46. https://doi.org/10.1016/j.jlamp.2019.05.008.

MLA (9th ed.) Citation

Chevrou, Florent, et al. "A Modular Framework for Verifying Versatile Distributed Systems." Journal of Logical and Algebraic Methods in Programming, vol. 108, 2019, pp. 24-46, https://doi.org/10.1016/j.jlamp.2019.05.008.