Publication | Closed Access
Focussing and proof construction
81
Citations
10
References
2001
Year
Proof ConstructionEngineeringAutomated ReasoningVerificationFormal MethodsProof AssistantProof TheoryComputer ScienceProof SystemFormal Verification
| Year | Citations | |
|---|---|---|
Page 1
Page 1