Not registered as user yet

Name: Radu Iosif

Affiliation: VERIMAG, CNRS, Université Grenoble-Alpes

POPL 2017 Activities

• Author of Reasoning in the Bernays-Schönfinkel-Ramsey Fragment of Separation Logic within the VMCAI-track in VMCAI 2017
• Show activities from other conferences