Search results for: Sandro Etalle
Lecture Notes in Computer Science > Computational Logic — CL 2000 > Logic Programming: Theory and Extensions > 194-208
2010 IEEE Symposium on Security and Privacy > 93 - 108
Computer Languages > 2000 > 26 > 1 > 1-25
Theoretical Computer Science > 1998 > 206 > 1-2 > 51-80