Caper
From MaRDI portal
Software:32089
No author found.
Source code repository: https://github.com/caper-tool/caper
Related Items (3)
Deductive synthesis of programs with pointers: techniques, challenges, opportunities (invited paper) ⋮ Caper ⋮ Abstract Specifications for Concurrent Maps
This page was built for software: Caper
