Instruction Sequence Faults with Formal Change Justification (Q5089616)
From MaRDI portal
scientific article; zbMATH DE number 7560039
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Instruction Sequence Faults with Formal Change Justification |
scientific article; zbMATH DE number 7560039 |
Statements
Instruction Sequence Faults with Formal Change Justification (English)
0 references
19 July 2022
0 references
sumterms
0 references
sumtuples
0 references
splitting paradox
0 references
