CoCo 2018 Participant: CSI 1.2.1
Bertram Felgenhauer, Aart Middeldorp, Fabian Mitterwallner, and Julian NageleProceedings of the 7th International Workshop on Confluence (IWC 2018), pp. 76, 2018.
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
}