Publication | Closed Access
Principles of proof scores in CafeOBJ
31
Citations
14
References
2012
Year
EngineeringAutomated ReasoningVerificationFormal MethodsProof AssistantProof TheoryComputer ScienceProof SystemFormal VerificationProof Scores
| Year | Citations | |
|---|---|---|
Page 1
Page 1