"Gelato: GEneric language tools for model-driven analysis of legacy ..."

Amir Saeidi et al. (2013)
a service of Schloss Dagstuhl - Leibniz Center for Informatics