| _version_ | 1866902074879377408 |
|---|---|
| author | Wu, Xiwei |
| author_facet | Wu, Xiwei |
| contents | |
| format | Recurso digital |
| id | zenodo_https___doi_org_10_5281_zenodo_17240433 |
| institution | Zenodo |
| language | |
| publishDate | 2025 |
| publisher | Zenodo |
| record_format | zenodo |
| spellingShingle | artifact-57-QCP: A Practical Separation Logic-based C Program Verification Tool Wu, Xiwei |
| title | artifact-57-QCP: A Practical Separation Logic-based C Program Verification Tool |
| url | https://doi.org/10.5281/zenodo.17240433 |