Publication | Closed Access
An approach to systems verification
143
Citations
12
References
1989
Year
EngineeringAutomated ReasoningProgram AnalysisVerificationFormal MethodsComputer-aided VerificationSystems EngineeringFormal TechniqueComputer ScienceSystems VerificationFormal VerificationSoftware AnalysisSystem SoftwareSoftware Verification
| Year | Citations | |
|---|---|---|
Page 1
Page 1