Roberto Bruttomesso, Edgar Pek, Natasha Sharygina, Aliaksei Tsitovich
Browse the full TACAS paper archive.