Publication | Closed Access
Incremental Formalization: A Key to Industrial Success.
43
Citations
0
References
1996
Year
Unknown Venue
Formal SpecificationEngineeringFormal ModelingAutomated ReasoningVerificationFormal MethodsIncremental FormalizationSoftware EngineeringSystems EngineeringComputer ScienceFormalizationIndustrial InformaticsFormal Verification
No additional data available for this publication yet. Check back later!