Stephen M. Watt, Tetsuo Ida, editors, Symbolic Computation in Software Science - 10th International Symposium, SCSS 2024, Tokyo, Japan, August 28-30, 2024, Proceedings. Volume 14991 of Lecture Notes in Computer Science, Springer, 2024. [doi]
Conference: sycss2024
@proceedings{sycss-2024,
title = {Symbolic Computation in Software Science - 10th International Symposium, SCSS 2024, Tokyo, Japan, August 28-30, 2024, Proceedings},
year = {2024},
doi = {10.1007/978-3-031-69042-6},
url = {https://doi.org/10.1007/978-3-031-69042-6},
researchr = {https://researchr.org/publication/sycss-2024},
cites = {0},
citedby = {0},
booktitle = {Symbolic Computation in Software Science - 10th International Symposium, SCSS 2024, Tokyo, Japan, August 28-30, 2024, Proceedings},
conference = {sycss},
editor = {Stephen M. Watt and Tetsuo Ida},
volume = {14991},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-031-69042-6},
}