SMT: Something You Must Try.

Erika brahm, Jzsef Kovcs, Anne Remke

Browse the full IFM paper archive.