Publication | Closed Access
A Kernel Language for Algebraic Specification and Implementation.
156
Citations
2
References
1983
Year
Specification LanguageFormal SpecificationEngineeringAutomated ReasoningAbstract InterpretationFormal MethodsKernel LanguageComputer ScienceSoftware Analysis
| Year | Citations | |
|---|---|---|
Page 1
Page 1