Seminar on Advanced Techniques and Tools for Software Evolution

SATToSE 2016: Bergen, Norway

SATToSE 2014: L'Aquila, Italy

maintained by Schloss Dagstuhl LZI at University of Trier