Pages that link to "Item:Q557549"
From MaRDI portal
The following pages link to Towards verification of C programs: Axiomatic semantics of the C-kernel language (Q557549):
Displayed 4 items.
- Operational ontological approach to formal programming language specification (Q840084) (← links)
- Towards verification of C\(\#\) programs: a three-level approach (Q885853) (← links)
- Mechanized semantics for the clight subset of the C language (Q2655325) (← links)
- Logic for reasoning about bugs in loops over data sequences (IFIL) (Q6062741) (← links)