Author: 3 selected / Data source: DBLP - Universitätsbibliographie Search Results

Start Over Author Erdweg, Sebastian Author Grewe, Sylvia Author Pacak, André Data source 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
Type:: Journal article

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
Type:: Conference