James H. Davenport, Fadoua Ghourabi, editors, 7th International Symposium on Symbolic Computation in Software Science, SCSS 2016, Tokyo, Japan, March 28-31, 2016. Volume 39 of EPiC Series in Computing, EasyChair, 2016. [doi]
Conference: sycss2016
@proceedings{sycss-2016, title = {7th International Symposium on Symbolic Computation in Software Science, SCSS 2016, Tokyo, Japan, March 28-31, 2016}, year = {2016}, url = {http://www.easychair.org/publications/volume/SCSS_2016}, researchr = {https://researchr.org/publication/sycss-2016}, cites = {0}, citedby = {0}, booktitle = {7th International Symposium on Symbolic Computation in Software Science, SCSS 2016, Tokyo, Japan, March 28-31, 2016}, conference = {sycss}, editor = {James H. Davenport and Fadoua Ghourabi}, volume = {39}, series = {EPiC Series in Computing}, publisher = {EasyChair}, }