Publication | Closed Access
The RAISE Specification Language
207
Citations
0
References
1992
Year
Unknown Venue
Specification LanguageFormal SpecificationRaise Specification LanguageEngineeringAutomated ReasoningProgram AnalysisSystem SpecificationFormal MethodsSoftware EngineeringComputer ScienceSoftware AnalysisSystem SoftwareSoftware DesignFormal Verification
No additional data available for this publication yet. Check back later!