Pages that link to "Item:Q5897064"
From MaRDI portal
The following pages link to Correct Hardware Design and Verification Methods (Q5897064):
Displaying 4 items.
- Formal memory models for the verification of low-level operating-system code (Q835773) (← links)
- Formal verification of a C-like memory model and its uses for verifying program transformations (Q945054) (← links)
- (Q4788549) (← links)
- Correct Hardware Design and Verification Methods (Q5897057) (← links)