"ChainTracker: Towards a Comprehensive Tool for Building Code-Generation ..."

Victor Guana, Kelsey Gaboriau, Eleni Stroulia (2014)
a service of Schloss Dagstuhl - Leibniz Center for Informatics