Journal of Symbolic Computation, Volume 90

Volume 90, January 2019

Symbolic Computation in Software Science
maintained by Schloss Dagstuhl LZI at University of Trier