cl-banner

CoCo 2012 Participant: CSI

Harald Zankl, Bertram Felgenhauer, and Aart Middeldorp

Proceedings of the 1st International Workshop on Confluence (IWC 2012), 2012.

Abstract

We describe the new features of CSI, a confluence tool, which participated in the International Confluence Competition (CoCo) 2012.

 

  PDF

BibTeX 

@inproceedings{HZBFAM-IWC12,
author = "Harald Zankl and Bertram Felgenhauer and Aart Middeldorp",
title = "{CoCo} 2012 Participant: {CSI}",
booktitle = "Proceedings of the 1st International Workshop on Confluence",
pages = "47",
year = 2012
}
Nach oben scrollen