Samin Ishtiaq

Latest

• SeLoger: A Tool for Graph-Based Reasoning in Separation Logic