Temur Kutsia, Andrei Voronkov, editors, 6th International Symposium on Symbolic Computation in Software Science, SCSS 2014, Gammarth, La Marsa, Tunisia, December 7-8, 2014. Volume 30 of EPiC Series, EasyChair, 2014. [doi]
Conference: sycss2014
@proceedings{sycss-2014,
title = {6th International Symposium on Symbolic Computation in Software Science, SCSS 2014, Gammarth, La Marsa, Tunisia, December 7-8, 2014},
year = {2014},
url = {http://www.easychair.org/publications/?page=862275542},
researchr = {https://researchr.org/publication/sycss-2014},
cites = {0},
citedby = {0},
booktitle = {6th International Symposium on Symbolic Computation in Software Science, SCSS 2014, Gammarth, La Marsa, Tunisia, December 7-8, 2014},
conference = {sycss},
editor = {Temur Kutsia and Andrei Voronkov},
volume = {30},
series = {EPiC Series},
publisher = {EasyChair},
}