You are here

Publications

Export 1 results:
Filters: Author is Leuschel, M.  [Clear All Filters]
2003
M. Alpuente, Comini, M., Escobar, S., Falaschi, M., and Lucas, S., Abstract Diagnosis of Functional Programs, Logic Based Program Synthesis and Tranformation – 12th International Workshop, LOPSTR 2002, Revised Selected Papers, vol. 2664. Springer-Verlag, Berlin, 2003.