Proceedings - Symposium on Logic in Computer Science, ‎1043-6871

Journal