The 2nd Verified Software Competition:...
URL: https://inria.hal.science/hal-00798777
Dataset description:
International audience
Source: The 2nd Verified Software Competition: Experience Report
There are no views created for this resource yet.
Additional Information
| Field | Value |
|---|---|
| Data last updated | unknown |
| Metadata last updated | May 13, 2026 |
| Created | unknown |
| Format | HTML |
| License | https://about.hal.science/hal-authorisation-v1/, info:eu-repo/semantics/OpenAccess |
| Created | 3 weeks ago |
| Id | c3d2091f-c467-4d49-955a-f4ff566458be |
| Package id | oai-hal-hal-00798777v1 |
| Resource type | HTML |
| State | active |