Cogent
From MaRDI portal
Software:30361
No author found.
Related Items (2)
A Framework for the Automatic Formal Verification of Refinement from Cogent to C ⋮ Cogent: uniqueness types and certifying compilation
This page was built for software: Cogent
