ETAPS 2019
Sat 6 - Thu 11 April 2019 Prague, Czech Republic
ETAPS 2019 (series) / Ludovic Henrio
Ludovic Henrio

Registered user since Mon 17 Sep 2018

Name: Ludovic Henrio

Country: France

Affiliation: CNRS

Personal website: https://lhenrio.github.io/

Contributions

FASE 2019Committee Member in Program Committee within the FASE 2019-track
TACAS 2019Author of On Reachability in Parameterized Phaser Programs within the TACAS 2019-track
Show activities from other conferences

Using general profile