20. LPAR 2015: Suva, Fiji - Short Papers

maintained by Schloss Dagstuhl LZI at University of Trier