Publication | Closed Access
Software specification using graph grammars
23
Citations
3
References
1983
Year
Specification LanguageFormal SpecificationEngineeringAutomated ReasoningProgram AnalysisSoftware SpecificationFormal MethodsSoftware AnalysisSoftware EngineeringComputer ScienceFormal VerificationSoftware DesignSystem Specification
| Year | Citations | |
|---|---|---|
Page 1
Page 1