Iosif, Radu, CNRS/VERIMAG/Université Grenoble Alpes, France
-
Volume 76: Automated Verification of Critical Systems 2018 (AVoCS 2018) - Articles
An Entailment Checker for Separation Logic with Inductive Definitions
Abstract PDF
Hosted By Universitätsbibliothek TU Berlin.