You are here

Publications

Export 1 results:
Filters: Keyword is Inductive Verification and Author is Salvador Lucas  [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.