Predicate Synthesis from Inductive Proof Attempt of Faulty Conjectures - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Francis Alexandre, Khaled Bsaïes, Moussa Demba. Predicate Synthesis from Inductive Proof Attempt of Faulty Conjectures. In Maurice Bruynooghe, editor, Logic Based Program Synthesis and Transformation, 13th International Symposium LOPSTR 2003, Uppsala, Sweden, August 25-27, 2003, Revised Selected Papers. Volume 3018 of Lecture Notes in Computer Science, pages 20-33, Springer, 2003. [doi]

This author has not been identified. Look up 'Francis Alexandre' in GoogleThis author has not been identified. Look up 'Khaled Bsaïes' in GoogleThis author has not been identified. Look up 'Moussa Demba' in Google

runs on WebDSL