Publication | Closed Access
VDM++: a formal specification language for object-oriented designs
27
Citations
0
References
1992
Year
Specification LanguageEngineeringProgram AnalysisSystem SpecificationDesignFormal MethodsSoftware AnalysisSoftware EngineeringFormal VerificationSoftware DesignFormal Specification LanguageObject-oriented Design
No additional data available for this publication yet. Check back later!