Vol-3754
urn:nbn:de:0074-3754-0




SCSS 2024 WiP
10th International Symposium on Symbolic Computation in Software Science — Work in Progress Workshop


Proceedings of the SCSS 2024 Work in Progress Workshop
co-located with 10th International Symposium on Symbolic Computation in Software Science(SCSS 2024)

Tokyo, Japan, Aug 28-30, 2024.


Edited by

Katsusuke Nabeshima *
Stephen M. Watt **

* Tokyo University of Science, Kagurazaka, Shinjuki-ku, Tokyo, 162-8601, Japan
** David R. Cheriton School of Computer Science, University of Waterloo, Waterloo CANADA N2L 3G1





Table of Contents



2024-08-11: submitted by Stephen M. Watt, metadata incl. bibliographic data published under Creative Commons CC0
2024-09-02: published on CEUR Workshop Proceedings (CEUR-WS.org, ISSN 1613-0073) |valid HTML5|