The additional difficulties for the automatic synthesis of specifications posed by logic features in functional-logic languages

Autores UPV
Año
CONGRESO The additional difficulties for the automatic synthesis of specifications posed by logic features in functional-logic languages