JayHorn
From MaRDI portal
Software:37636
No author found.
Source code repository: https://github.com/jayhorn/jayhorn
Related Items (3)
Constraint-based relational verification ⋮ Data abstraction: a general framework to handle program verification of data structures ⋮ Unnamed Item
This page was built for software: JayHorn
