Publication | Closed Access
Rigorous specification using structured systems analysis and Z
23
Citations
0
References
1995
Year
Specification LanguageFormal SpecificationEngineeringVerificationFormal MethodsRigorous SpecificationSystems EngineeringFormal VerificationSoftware DesignSystem Specification
No additional data available for this publication yet. Check back later!