1. Exploration of language specifications by compilation to first-order logic Autoren: Grewe, Sylvia; Erdweg, Sebastian; Pacak, André; Raulf, Michael; Mezini, Mira Veröffentlichungsdatum: 2018 Typ: Zeitschriftenaufsatz