Publication | Closed Access
Structured algebraic specifications: A Kernel language
138
Citations
38
References
1986
Year
Structured Algebraic SpecificationsSpecification LanguageFormal SpecificationEngineeringProgram AnalysisAutomated ReasoningFormal MethodsSoftware AnalysisFormal TechniqueComputer ScienceFormal Verification
| Year | Citations | |
|---|---|---|
Page 1
Page 1