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.

abstract   BibTeX   PDF