You are here

Home

Publications

Export 1 results:
Filters: Keyword is Algebraic-oriented Specification and Author is Alicia Villanueva  [Clear All Filters]
Conference Proceedings
G. Bacci, Comini, M., Feliú, M. A., and Villanueva, A., “Automatic Synthesis of Specifications for Curry Programs”, Logic-based Program Synthesis and Transformation, 21th International Symposium – Pre-Proceedings. Springer-Verlag, Odense, Denmark, 2011.

created with Drupal | customized by Giovanni Bacci