Releases: sea-lab-wm/complexity-verification-project
Releases · sea-lab-wm/complexity-verification-project
fse23-artifact-1.1
FSE'23 artifact for the paper: "On the Relationship Between Code Verifiability and Understandability"
FSE'23 artifact
This is the first version of the FSE'23 artifact.