APA (7th ed.) Citation

Filliâtre, J. (2021). Simpler proofs with decentralized invariants. Journal of logical and algebraic methods in programming, 121, 100645. https://doi.org/10.1016/j.jlamp.2021.100645

Chicago Style (17th ed.) Citation

Filliâtre, Jean-Christophe. "Simpler Proofs with Decentralized Invariants." Journal of Logical and Algebraic Methods in Programming 121 (2021): 100645. https://doi.org/10.1016/j.jlamp.2021.100645.

MLA (9th ed.) Citation

Filliâtre, Jean-Christophe. "Simpler Proofs with Decentralized Invariants." Journal of Logical and Algebraic Methods in Programming, vol. 121, 2021, p. 100645, https://doi.org/10.1016/j.jlamp.2021.100645.

Warning: These citations may not always be 100% accurate.