On Inductive Verification and Synthesis
Christoph Benzmüller;Xavier Parent;Alexander Steen (Hrsg). Selected Student Contributions and Workshop Papers of LuxLogAI 2018. Manchester: EasyChair 2019 S. 1 - 8
Erscheinungsjahr: 2019
Publikationstyp: Diverses (Konferenzbeitrag)
Sprache: Englisch
Autoren
Peuter, Dennis (Autor)
Sofronie-Stokkermans, Viorica (Autor)