Program Synthesis through Problem Splitting a method for Subproblem Chracterization ; Ramon Brena, Ricardo Caferra, Paul Jaquet, Marie-Laure Potet, Bertram Fronhoefer, Christian Gresse

Bibliographic Details
Main Authors: Brena, Ramon (Author), Caferra, Ricardo (Author), Jaquet, Paul (Author), Potet, Marie-Laure (Author), Fronhoefer, Bertram (Author), Gresse, Christian (Author)
Format: Article
Language:Slovak
English
Subjects: