Publication | Closed Access
Languages for the specification of software
26
Citations
27
References
1996
Year
Specification LanguageEngineeringProgram AnalysisSoftware Language EngineeringFormal MethodsSoftware AnalysisSoftware EngineeringFormal VerificationSystem SoftwareSoftware DesignProgramming Language Design
| Year | Citations | |
|---|---|---|
Page 1
Page 1