Publication | Closed Access
REVEUR 4: A System for Validating Conditional Algebraic Specifications of Abstract Data Types.
32
Citations
0
References
1984
Year
Unknown Venue
Formal SpecificationAbstract Data TypesEngineeringAutomated ReasoningVerificationAbstract InterpretationFormal MethodsSoftware AnalysisConditional Algebraic SpecificationsComputer ScienceType SystemFormal VerificationReveur 4
No additional data available for this publication yet. Check back later!