Publication | Open Access
Productive use of failure in inductive proof
163
Citations
6
References
1996
Year
ReliabilityReliability EngineeringEngineeringProductive UseAutomated ReasoningVerificationFormal MethodsProof AssistantProof TheoryProof SystemFormal Verification
| Year | Citations | |
|---|---|---|
Page 1
Page 1