Special issue on symbolic computation in software science. (July 2015) - Bouhoula, Adel; Buchberger, Bruno; Kovács, Laura; Kutsia, Temur