Logical Methods in Computer Science (Germany Logical Methods in Computer Science e.V.)
Keywords: Information Technology -- Computer Science (Hardware & Networks); Mathematical Sciences -- Applied Mathematics