Radu Iosif - POPL 2020

Registered user since Fri 28 Jun 2019

Name: Radu Iosif

Affiliation: VERIMAG, CNRS, Université Grenoble-Alpes

Contributions

ADSL 2020	The Lower Bound of Decidable Entailments in Separation Logic with Inductive Definitions 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