Publication | Closed Access
Modular verification of Ada generics
18
Citations
14
References
1991
Year
EngineeringGeneric ProgrammingAutomated ReasoningVerificationFormal MethodsSoftware AnalysisComputer-aided VerificationComputer ScienceType SystemModular VerificationFormal Verification
| Year | Citations | |
|---|---|---|
Page 1
Page 1