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

Neu anfangen Autor Erdweg, Sebastian Autor Grewe, Sylvia Autor Pacak, André Datenquelle DBLP

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

2. System Description: An Infrastructure for Combining Domain Knowledge with Automated Theorem Provers.

Autoren:: Grewe, Sylvia; Erdweg, Sebastian; Pacak, André; Mezini, Mira
Editoren:: Sabel, David; Thiemann, Peter
Veröffentlichungsdatum:: 2018
Typ:: Konferenzbeitrag