EasyChair Smart SlideDocs/Log in
Author: Tanguy Bozec

This page shows all presentations of this author published in EasyChair Smart Slide.

What Is Decidable in Separation Logic Beyond Progress, Connectivity and Establishment?

What Is Decidable in Separation Logic Beyond Progress, Connectivity and Establishment?

Tanguy Bozec, Nicolas Peltier, Quentin Petitjean and Mihaela Sighireanu

Presentations in this collection: 1
Copyright © 2002 – 2024 EasyChair