Publication | Closed Access

Program theory evaluation: Logic analysis

EngineeringProgram AnalysisAutomated ReasoningFormal MethodsSoftware AnalysisProgram EvaluationComputer ScienceProgram DerivationEvaluation StrategyProgram Theory EvaluationFormal VerificationSoftware DesignLogic Programming