Predicate Synthesis from Inductive Proof Attempt of Faulty Conjectures

Sorry, there's nothing here.

Topics

Cite this paper

@inproceedings{Alexandre2003PredicateSF, title={Predicate Synthesis from Inductive Proof Attempt of Faulty Conjectures}, author={Francis Alexandre and Khaled Bsa{\"{i}es and Moussa Demba}, booktitle={LOPSTR}, year={2003} }