Autor: Mezini, Mira and Pacak, André / Organisationseinheit: Institut für Informatik / Datenquelle: DBLP - Universitätsbibliographie Suchergebnisse

Neu anfangen Autor Mezini, Mira Autor Pacak, André Organisationseinheit Institut für Informatik 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