CoCo 2017 Participant: ConCon 1.5

Thomas Sternagel, Christian Sternagel, Aart Middeldorp
Proceedings of the 6th International Workshop on Confluence (IWC 2017),   pp. 75, 2017.

abstract   BibTeX   PDF