Synthesis of functions by transformations and constraints (poster) | Publicación