A trustworthy monadic formalization of the ARMv7 instruction set architecture (Q5747653)
From MaRDI portal
!
WARNING
This is the item page for this Wikibase entity, intended for internal use and editing purposes.
Please use the normal view instead:
scientific article; zbMATH DE number 5785346
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | A trustworthy monadic formalization of the ARMv7 instruction set architecture |
scientific article; zbMATH DE number 5785346 |
Statements
A Trustworthy Monadic Formalization of the ARMv7 Instruction Set Architecture (English)
0 references
14 September 2010
0 references
0.7740487456321716
0 references
0.7723846435546875
0 references
0.7053672075271606
0 references
