Published August 10, 2023
| Version fse23-artifact-1.1
Software
Open
sea-lab-wm/complexity-verification-project: fse23-artifact-1.1
Creators
Description
FSE'23 artifact for the paper: "On the Relationship Between Code Verifiability and Understandability"
Files
sea-lab-wm/complexity-verification-project-fse23-artifact-1.1.zip
Files
(178.1 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:45961cb3b1d01024dfce67c8d77900f2
|
178.1 MB | Preview Download |
Additional details
Related works
- Is supplement to
- https://github.com/sea-lab-wm/complexity-verification-project/tree/fse23-artifact-1.1 (URL)