CoCo 2018 Participant: ConCon 1.5
Thomas Sternagel, Christian Sternagel, Aart MiddeldorpProceedings of the 7th International Workshop on Confluence (IWC 2018), pp. 66, 2018.
Abstract
BibTeX
@inproceedings{TSCSAM-IWC18,
author = "Thomas Sternagel and Christian Sternagel and Aart Middeldorp",
title = "{CoCo} 2018 Participant: {ConCon} 1.5",
booktitle = "Proceedings of the 7th International Workshop on Confluence",
editor = "Bertram Felgenhauer and Jakob Grue Simonsen",
pages = 66,
year = 2018
}