search result

Cover von Algorithmic program synthesis

Algorithmic program synthesis

introduction : article
Year: 2013
Synthesis
Media group: ARTICLE
Cover von Synthesis; 5/6
Special Issue
Search for this author
Year: 2013
Publisher: Berlin, Springer
Count: 5/6
Media group: SPECIAL ISSUE
Cover von Verification, Model Checking, and Abstract Interpretation
17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17 - 19, 2016 : Proceedings
Search for this author
Year: 2016
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science : ARCoSS; 9583
Media group: MONOGRAPHIE
Cover von Synthesis for regular specifications over unbounded domains
article pp. 101-109 : FMCAD 2010, Formal Methods in Computer-Aided Design 2010
Author: Hamza, Jad; Jobstmann, Barbara; Kunčak, Viktor Search for this author
Year: 2010
Publisher: Los Alamitos, IEEE
Media group: ARTICLE
Cover von Divide and Conquer; 12
the Quest for Compositional Design and Analysis : pp. 64-88
Search for this author
Year: 2013
Publisher: Wadern, LZI
Dagstuhl Reports
Count: 12
Media group: DAGSTUHL REPORT
OPEN V 11.1.0.0