Loading...
Derniers dépôts
-
-
-
-
-
Tanguy Bozec, Nicolas Peltier, Quentin Petitjean, Mihaela Sighireanu. What Is Decidable in Separation Logic Beyond Progress, Connectivity and Establishment?. IJCAR 2024 - 12th International Joint Conference on Automated Reasoning, Jul 2024, Nancy, France. pp.157-175, ⟨10.1007/978-3-031-63501-4_9⟩. ⟨hal-04645164⟩