Abstract

We present a useful web interface for tools that participate in the annual confluence competition.

BibTeX Entry

@inproceedings{JM-IWC17,
 author    = "Julian Nagele and Aart Middeldorp",
 title     = "{CoCoWeb}---{A} Convenient Web Interface for Confluence Tools"
 booktitle = "Proceedings of the 6th International Workshop on Confluence",
 editor    = "Beniamino Accatoli and Bertram Felgenhauer",
 pages     = "39--44",
 year      = 2017
}