Montesi, F., Peressotti, M., & Rademaker, A. (2026). Hennessy-Milner Logic in CSLib, the Lean Computer Science Library.
Style de citation Chicago (17e éd.)Montesi, Fabrizio, Marco Peressotti, et Alexandre Rademaker. Hennessy-Milner Logic in CSLib, the Lean Computer Science Library. 2026.
Style de citation MLA (9e éd.)Montesi, Fabrizio, et al. Hennessy-Milner Logic in CSLib, the Lean Computer Science Library. 2026.
Attention : ces citations peuvent ne pas être correctes à 100%.