autore : Mehdi Dastani

2 riviste e collane
book Lecture Notes in Computer Science (LNCS)
book Electronic Notes in Theoretical Computer Science (ENTCS)