Logical Methods in Computer Science, Special Issue 9

Selected Papers of the Conference "Foundations of Software Science and Computation Structures 2007" [FOSSACS 07]

maintained by Schloss Dagstuhl LZI at University of Trier