RISC JKU
  • @misc{RISC4696,
    author = {Temur Kutsia},
    year = {2013},
    month = {July 5-6},
    conferencename = {Fifth International Symposium on Symbolic Computation in Software Science, SCSS 2013},
    url = {http://www.risc.jku.at/conferences/scss2013/}
    }