Main menu
You are here
Publications
Export 1 results:
Filters: Keyword is program correction and Author is F. Correa [Clear All Filters]
, “Correction of Functional Logic Programs”, Programming Languages and Systems, 12th European Symposium on Programming, ESOP 2003, vol. 2618. Springer, pp. 54–68, 2003.