Alessio Lomuscio, Wojciech Penczek, Monika Solanki [...]
Yan-Fang Mao, Yang Zhang, Jun-Liang Chen
Paritosh Shroff, Scott F. Smith, Mark Thober
Mads Dam, Bart Jacobs, Andreas Lundblad [...]
Nataliia Bielova, Fabio Massacci
Ming Chai, Bernd-Holger Schlingloff
Mohamed AbdElSalam, Saddek Bensalem, Antoine Delacourt [...]
Amal Ahmed Anda, Daniel Amyot
A. Q. Gates, P. J. Teller
Yupeng Hu, Wenxin Kuang, Jin Zhe [...]
