cl-banner

CoCo 2018 Participant: ConCon 1.5

Thomas Sternagel, Christian Sternagel, Aart Middeldorp

Proceedings of the 7th International Workshop on Confluence (IWC 2018),   pp. 66, 2018. 

 

  PDF

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
}
Nach oben scrollen