author = {Temur Kutsia},
title = {{Special issue of the Journal of Symbolic Computation on Symbolic Computation in Software Science.}},
language = {english},
volume = {45},
number = {5},
isbn_issn = {ISSN 0747-7171},
year = {2010},
editor = {Temur Kutsia},
length = {0},
url = {http://dx.doi.org/10.1016/j.jsc.2010.01.005}