Essays Dedicated to José Meseguer 2015

maintained by Schloss Dagstuhl LZI at University of Trier