Starten Sie Ihre Suche...


Durch die Nutzung unserer Webseite erklären Sie sich damit einverstanden, dass wir Cookies verwenden. Weitere Informationen

On Inductive Verification and Synthesis.

LuxLogAI (Student / Workshop Papers). 2018 S. 1 - 8

Erscheinungsjahr: 2018

Publikationstyp: Zeitschriftenaufsatz

GeprüftBibliothek

Autoren

Peuter, Dennis (Autor)
Sofronie-Stokkermans, Viorica (Autor)

Verknüpfte Personen

Viorica Sofronie-Stokkermans
Viorica Sofronie-Stokkermans

Beteiligte Einrichtungen

Logo Institut für Informatik
Logo Formale Methoden und Theoretische Informatik