autore : Ferruccio Damiani
7
riviste
ACM Transactions on Computational Logic (TOCL) Journal of Logical and Algebraic Methods in Programming (JLAMP) Lecture Notes in Computer Science (LNCS) Electronic Notes in Theoretical Computer Science (ENTCS) Science of Computer Programming (SCP) ACM Transactions on Autonomous and Adaptive Systems (TAAS) Communications in Computer and Information Science (CCIS)