Autor: 3 ausgewählt / Datenquelle: DBLP - Universitätsbibliographie Suchergebnisse

Neu anfangen Autor Erdweg, Sebastian Autor Grewe, Sylvia Autor Raulf, Michael Datenquelle 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
Typ:: Konferenzbeitrag

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
Typ:: Zeitschriftenaufsatz