Denisa Diaconescu, University of Bucharest & Runtime Verification Inc.
Thomas Genet, University of Rennes
Dorel Lucanu, Alexandru Ioan Cuza University of Iasi
Luigia Petre, Åbo Akademi University
Denisa Diaconescu, University of Bucharest & Runtime Verification Inc.
Thomas Genet, University of Rennes
Dorel Lucanu, Alexandru Ioan Cuza University of Iasi
Luigia Petre, Åbo Akademi University
