author = {Temur Kutsia},
year = {2013},
conferencename = {International Symposium on Symbolic Computation in Software Science, SCSS },
activity = {Steering committee co-chair}