author = {Adel Bouhoula and Bruno Buchberger and Laura Kovacs and Temur Kutsia},
title = {{Special issue of the Journal of Symbolic Computation on Symbolic Computation in Software Science}},
language = {english},
isbn_issn = {ISSN 0747-7171},
year = {2015},
editor = {Adel Bouhoula and Bruno Buchberger and Laura Kovacs and Temur Kutsia},
length = {0},
url = {http://dx.doi.org/10.1016/j.jsc.2014.09.027}