WRLA 2012: Tallinn, Estonia (Satellite Event of ETAPS 2012)

maintained by Schloss Dagstuhl LZI, founded at University of Trier