"Autofunk: An Inference-Based Formal Model Generation Framework for ..."

William Durand, Sébastien Salva (2015)
a service of Schloss Dagstuhl - Leibniz Center for Informatics