Max I. Kanovich

Latest

• Foundations for Decision Problems in Separation Logic with General Inductive Predicates