C-Light
From MaRDI portal
Software:32786
No author found.
Related Items (12)
Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Towards verification of C\(\#\) programs: a three-level approach ⋮ Unnamed Item ⋮ Towards verification of C programs. C-light language and its formal semantics ⋮ Towards verification of C programs: Axiomatic semantics of the C-kernel language ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item
This page was built for software: C-Light
