Sadegh Esmaeil Zadeh Soudjani, Caspar Gevaerts, Alessandro Abate
Browse the full TACAS paper archive.