Thomas Roth-Berghofer Stefan Schulz Daniel Bahls David B. Leake Organizing Committee / Preface. 2007 conf/exact/2007 ExaCt db/conf/exact/exact2007.html#Roth-BerghoferSBL07