| _version_ | 1866901939656065024 |
|---|---|
| author | Augusto Mafra |
| author_facet | Augusto Mafra |
| contents | No description provided. |
| format | Recurso digital |
| id | zenodo_https___doi_org_10_5281_zenodo_19657039 |
| institution | Zenodo |
| language | |
| publishDate | 2026 |
| publisher | Zenodo |
| record_format | zenodo |
| spellingShingle | augustomafra/sv_rnm_formal_verification: v2.0.1 Augusto Mafra No description provided. |
| title | augustomafra/sv_rnm_formal_verification: v2.0.1 |
| url | https://doi.org/10.5281/zenodo.19657039 |