cl-banner

CoCo 2017 Participant: CSI 1.1

Bertram Felgenhauer, Aart Middeldorp, and Julian Nagele

Proceedings 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.

 

  PDF  

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
}
Nach oben scrollen