Coq and hardware verification: a case study (Q6567708)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Coq and hardware verification: a case study |
scientific article; zbMATH DE number 7876657
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Coq and hardware verification: a case study |
scientific article; zbMATH DE number 7876657 |
Statements
Coq and hardware verification: a case study (English)
0 references
5 July 2024
0 references
0.8881810903549194
0 references
0.8622007369995117
0 references
0.8188003897666931
0 references
0.7625358700752258
0 references
