The following pages link to C-Light (Q32786):
Displaying 12 items.
- Towards verification of C programs: Axiomatic semantics of the C-kernel language (Q557549) (← links)
- Towards verification of C\(\#\) programs: a three-level approach (Q885853) (← links)
- Towards verification of C programs. C-light language and its formal semantics (Q1403260) (← links)
- A three-stage method of C program verification (Q2880622) (← links)
- (Q2963876) (← links)
- (Q2963890) (← links)
- (Q2979813) (← links)
- (Q2979818) (← links)
- (Q2979838) (← links)
- (Q2979840) (← links)
- (Q3023540) (← links)
- (Q5866349) (← links)