Publication | Closed Access
PROOFS AND REFUTATIONS (I)
186
Citations
0
References
1963
Year
EngineeringAutomated ReasoningVerificationFormal MethodsProof AssistantProof TheoryProof SystemFormal Verification
No additional data available for this publication yet. Check back later!