Martin Blicha, Antti E. J. Hyvrinen, Jan Kofron, Natasha Sharygina
Browse the full TACAS paper archive.