Publication | Closed Access
Approaches to Assertion Training
42
Citations
71
References
1975
Year
EngineeringMachine LearningAssertion TrainingAutomated ReasoningVerificationProof AssistantAutomated ProofComputer ScienceFormal VerificationComputer-assisted Reasoning
| Year | Citations | |
|---|---|---|
Page 1
Page 1