Publication | Closed Access
Putting theories together to make specifications
420
Citations
15
References
1977
Year
Specification LanguageEngineeringAutomated ReasoningDesignFormal MethodsModel TheoryTheory BuildingSoftware Design
| Year | Citations | |
|---|---|---|
Page 1
Page 1