Abstract

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

BibTeX

@inproceedings{JNAM-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
               (IWC 2017)",
  editor    = "Beniamino Accattoli and Bertram Felgenhauer",
  pages     = "39--44"
  year      = 2017
}