Abstract

We describe the new features of CSI, a confluence tool, which participated
in the International Confluence Competition (CoCo) 2012.

BibTeX

@inproceedings{HZBFAM-IWC12,
  author      = "Harald Zankl and Bertram Felgenhauer and Aart Middeldorp",
  title       = "{CoCo} 2012 Participant: {CSI}",
  booktitle   = "Proceedings of the 1st International Workshop on
                 Confluence",
  pages       = "47",
  year        = 2012
}