Publication | Closed Access
On the generality of Becker's verification model.
23
Citations
12
References
1987
Year
EngineeringAutomated ReasoningVerificationFormal MethodsModel TheoryModel VerificationFormal VerificationVerification Model
| Year | Citations | |
|---|---|---|
Page 1
Page 1