CoCo 2017 Participant: CSI 1.1
Bertram Felgenhauer, Aart Middeldorp, and Julian NageleProceedings of the 6th International Workshop on Confluence (IWC 2017), pp. 76, 2017.
Abstract
We describe CSI 1.1, a confluence tool which participated in the International Confluence Competition 2017.
BibTeX
@inproceedings{BFJNAM-IWC17,
author = "Bertram Felgenhauer and Julian Nagele and Aart Middeldorp",
title = "{CoCo} 2017 Participant: {CSI} 1.1",
booktitle = "Proceedings of the 6th International Workshop on Confluence",
editor = "Beniamino Accattoli and Bertram Felgenhauer",
pages = 76,
year = 2017
}