Bartocci, Ezio
Falcone, Yliès
Bonakdarpour, Borzoo
Colombo, Christian
Decker, Normann
Havelund, Klaus
Joshi, Yogi
Klaedtke, Felix
Milewicz, Reed
Reger, Giles
Rosu, Grigore
Signoles, Julien
Thoma, Daniel
Zalinescu, Eugen
Zhang, Yi
Funding for this research was provided by:
TU Wien
Article History
First Online: 7 April 2017