Publication | Closed Access

Inductive assertion method for logic programs

EngineeringAutomated ReasoningVerificationFormal MethodsComputer ScienceInductive Logic ProgrammingInductive LogicFormal VerificationInductive Assertion MethodLogic Programming