Radu Iosif - POPL 2020

Registered user since Fri 28 Jun 2019

Name: Radu Iosif

Affiliation: VERIMAG, CNRS, Université Grenoble-Alpes

Contributions

ADSL 2020	Author of The Lower Bound of Decidable Entailments in Separation Logic with Inductive Definitions within the ADSL 2020-track Co-chair in Organizing Committee within the ADSL 2020-track Committee Member in Program Committee within the ADSL 2020-track
Show activities from other conferences