Thomas Roth-Berghofer Stefan Schulz Andrea Woody Preface. 2005 conf/exact/2005 ExaCt db/conf/exact/exact2005.html#Roth-BerghoferSW05