Publication | Closed Access
The algebraic specification of abstract data types
518
Citations
17
References
1978
Year
EngineeringData TypeAutomated ReasoningType TheoryFormal MethodsComputer ScienceAlgebraic SpecificationType SystemFormal Verification
| Year | Citations | |
|---|---|---|
Page 1
Page 1