cl-banner

CoCo 2016 Participant: CSI 0.6

Bertram Felgenhauer, Aart Middeldorp, and Julian Nagele

Proceedings of the 5th International Workshop on Confluence (IWC 2016), pp. 84, 2016.

Abstract

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

 

  PDF

BibTeX 

@inproceedings{BFAMJN-IWC16,
author = "Bertram Felgenhauer and Aart Middeldorp and Julian Nagele",
title = "{CoCo} 2016 Participant: {CSI} 0.6",
booktitle = "Proceedings of the 5th International Workshop on Confluence",
editor = "Beniamino Accattoli and Ashish Tiwari",
pages = 85,
year = 2016
}
Nach oben scrollen