THOR

swMATH15079MaRDI QIDQ26973FDOQ26973

Author name not available (Why is that?)

Cited In (4)

• Invariants Synthesis over a Combined Domain for Automated Program Verification
• Unified Reasoning About Robustness Properties of Symbolic-Heap Separation Logic
• Propositional Reasoning about Safety and Termination of Heap-Manipulating Programs
• Separation Logic Tutorial

This page was built for software: THOR