Author: Mezini, Mira and Raulf, Michael / Organizational unit: FB 08 Physik, Mathematik und Informatik / Data source: DBLP - Universitätsbibliographie Search Results

Start Over Author Mezini, Mira Author Raulf, Michael Organizational unit FB 08 Physik, Mathematik und Informatik Data source DBLP

1. Exploration of language specifications by compilation to first-order logic.

Autoren:: Grewe, Sylvia; Erdweg, Sebastian; Raulf, Michael; Mezini, Mira
Editoren:: Cheney, James; Vidal, Germán
Veröffentlichungsdatum:: 2016
Type:: Conference

2. Exploration of language specifications by compilation to first-order logic

Autoren:: Grewe, Sylvia; Erdweg, Sebastian; Pacak, André; Raulf, Michael; Mezini, Mira
Veröffentlichungsdatum:: 2018
Type:: Journal article