CoCo 2017 Participant: FORT 1.0

Franziska Rapp and Aart Middeldorp
Proceedings of the 6th International Workshop on Confluence (IWC 2017),   pp. 78, 2017.

abstract   BibTeX   PDF