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 }