CoCo 2015 Participant: CSI 0.5.1

Bertram Felgenhauer, Aart Middeldorp, Julian Nagele, and Harald Zankl
Proceedings of the 4th International Workshop on Confluence (IWC 2015),   pp. 46, 2015.

abstract   BibTeX   PDF