Timos Antonopoulos

Latest

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