autore : Marco Venuti

2 riviste
book Applied Logic Series (APLS)
book Lecture Notes in Computer Science (LNCS)