Radu Iosif - ETAPS 2019

Sat 6 - Thu 11 April 2019 Prague, Czech Republic

Registered user since Fri 28 Jun 2019

Name:Radu Iosif

Country:France

Affiliation:VERIMAG, CNRS, Université Grenoble-Alpes

Personal website: http://nts.imag.fr/index.php/Radu_Iosif

Contributions

2019

FOSSACS

The Bernays-Schoenfinkel-Ramsey Class of Separation Logic on Arbitrary Domains

InterAVT

Committee Member in Program Committee within the InterAVT-track

TACAS

Show activities from other conferences

ETAPS 2019-profile
View general profile