APA (7th ed.) Citation

Bartoletti, M., Ferrando, A., Lipparini, E., & Malvone, V. (2026). KindHML: Formal verification of smart contracts based on Hennessy-Milner logic.

Chicago Style (17th ed.) Citation

Bartoletti, Massimo, Angelo Ferrando, Enrico Lipparini, and Vadim Malvone. KindHML: Formal Verification of Smart Contracts Based on Hennessy-Milner Logic. 2026.

MLA (9th ed.) Citation

Bartoletti, Massimo, et al. KindHML: Formal Verification of Smart Contracts Based on Hennessy-Milner Logic. 2026.