THOR
From MaRDI portal
Software:26973
No author found.
Related Items (4)
Unified Reasoning About Robustness Properties of Symbolic-Heap Separation Logic ⋮ Propositional Reasoning about Safety and Termination of Heap-Manipulating Programs ⋮ Invariants Synthesis over a Combined Domain for Automated Program Verification ⋮ Separation Logic Tutorial
This page was built for software: THOR
