Main menu
You are here
Publications
Export 1 results:
Filters: Author is Marco Antonio Feliú and Keyword is Abstract Interpretation [Clear All Filters]
, “Automatic Synthesis of Specifications for Curry Programs”, Logic-based Program Synthesis and Transformation, 21th International Symposium – Pre-Proceedings. Springer-Verlag, Odense, Denmark, 2011.