author : Marco Venuti

2 journals & series
book Applied Logic Series (APLS)
book Lecture Notes in Computer Science (LNCS)