Byron Cook

Latest

• Tractable Reasoning in a Fragment of Separation Logic