Symbolic computation in software science 10th international symposium, SCSS 2024, Tokyo, Japan, August 28-30, 2024, proceedings - Watt, Stephen M.; Ida, Tetsuo (Springer, 2024)