CoCo 2015 Participant: CSI 0.5.1
Bertram Felgenhauer, Aart Middeldorp, Julian Nagele, and Harald ZanklProceedings of the 4th International Workshop on Confluence (IWC 2015), pp. 46, 2015.
Abstract
We describe the features of CSI, a confluence tool, which participated in the International Confluence Competition 2015.
BibTeX
@inproceedings{BFAMJNHZ-IWC15,
author = "Bertram Felgenhauer and Aart Middeldorp and Julian Nagele and
Harald Zankl",
title = "{CoCo} 2015 Participant: {CSI} 0.5.1",
booktitle = "Proceedings of the 4th International Workshop on Confluence",
editor = "Ashish Tiwari and Takahito Aoto",
pages = 46,
year = 2015
}