Pages that link to "Item:Q5458410"
From MaRDI portal
The following pages link to Certificate Translation in Abstract Interpretation (Q5458410):
Displaying 4 items.
- A formally verified compiler back-end (Q2655327) (← links)
- An Introduction to Certificate Translation (Q3184785) (← links)
- Beyond 2-Safety: Asymmetric Product Programs for Relational Program Verification (Q3455833) (← links)
- Preservation of Proof Obligations from Java to the Java Virtual Machine (Q3541689) (← links)
