Publication | Closed Access
Type Equivalence Checking in Persistent Object Systems.
25
Citations
9
References
1990
Year
Unknown Venue
EngineeringAutomated ReasoningType Equivalence CheckingVerificationFormal MethodsSoftware AnalysisEquivalence CheckingComputer ScienceType SystemModel CheckingFormal Verification
| Year | Citations | |
|---|---|---|
Page 1
Page 1