Proceedings of the 9th International Symposium on Symbolic Computation in Software Science

Open in new window