Publication | Closed Access
Signed data dependencies in logic programs
181
Citations
9
References
1989
Year
Applied LogicFormal SpecificationEngineeringProgram AnalysisAutomated ReasoningData DependenciesVerificationFormal MethodsSoftware AnalysisComputer ScienceFormal VerificationLogic Programming
| Year | Citations | |
|---|---|---|
Page 1
Page 1