40. MFCS 2015: Milan, Italy

Invited Contributions

Logic, Semantics, Automata and Theory of Programming

maintained by Schloss Dagstuhl LZI at University of Trier