IEEE Symposium on Logic in Computer Science

IEEE Symposium on Logic in Computer Science