Labzhaniia, M. (2025). MakSafe Haskell Framework: Experiments for SEFM 2025 [Computer software]. https://github.com/soft-guy/SEFM-2025_MakSafe-Experiment