https://2026.formalise.org/track/Formalise-2026-artifact-track
FormaliSE 2026 - Artifact Track - FormaliSE 2026
Reproducibility of experimental results is crucial to foster an atmosphere of trustworthy, open, and reusable research. To improve and reward reproducibility,...
formalise 2026artifact track