Journal of Symbolic Computation, Volume 90

Volume 90, January 2019

Symbolic Computation in Software Science
a service of Schloss Dagstuhl - Leibniz Center for Informatics