cl-banner

CoCo 2015 Participant: CSI 0.5.1

Bertram Felgenhauer, Aart Middeldorp, Julian Nagele, and Harald Zankl

Proceedings of the 4th International Workshop on Confluence (IWC 2015), pp. 46, 2015.

Abstract

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

 

  PDF

BibTeX 

@inproceedings{BFAMJNHZ-IWC15,
author = "Bertram Felgenhauer and Aart Middeldorp and Julian Nagele and Harald Zankl",
title = "{CoCo} 2015 Participant: {CSI} 0.5.1",
booktitle = "Proceedings of the 4th International Workshop on Confluence",
editor = "Ashish Tiwari and Takahito Aoto",
pages = 46,
year = 2015
}
Nach oben scrollen