Abstract

We describe the features of CSI, a confluence tool, which participated in the International Confluence Competition 2016.

BibTeX

@inproceedings{BFAMJN-IWC16,
  author    = "Bertram Felgenhauer and Aart Middeldorp and Julian Nagele",
  title     = "{CoCo} 2016 Participant: {CSI} 0.6",
  booktitle = "Proceedings of the 5th International Workshop on Confluence",
  editor    = "Beniamino Accattoli and Ashish Tiwari",
  pages     = 85,
  year      = 2016
}