Abstract

We describe CSI 1.2.1, a confluence tool which participated in the International Confluence Competition 2018.

BibTeX

@inproceedings{BFAMFMJN-IWC18,
  author    = "Bertram Felgenhauer and Aart Middeldorp and
               Fabian Mitterwallner and Julian Nagele",
  title     = "{CoCo} 2018 Participant: {CSI} 1.2.1",
  booktitle = "Proceedings of the 7th International Workshop on Confluence",
  editor    = "Bertram Felgenhauer and Jakob Grue Simonsen",
  pages     = 76,
  year      = 2018
}