Play to test (2005)

by Andreas Blass, Yuri Gurevich, Lev Nachmanson, Margus Veanes
Venue:In FATES’05