Title of article :
Predicate Synthesis for Correcting Faulty Conjectures: The Proof Planning Paradigm
Author/Authors :
Ra?l Monroy ، نويسنده ,
Issue Information :
روزنامه با شماره پیاپی سال 2003
Keywords :
faulty specifications , Abduction , proof planning , program synthesis/transformation
Journal title :
Automated Software Engineering
Journal title :
Automated Software Engineering
