Publication | Closed Access
Formal analysis of correctness of behavioral transformations
15
Citations
15
References
1993
Year
Formal SpecificationEngineeringFormal ModelingAutomated ReasoningVerificationDesignFormal MethodsFormal TechniqueBehavioral TransformationsFormal Verification
| Year | Citations | |
|---|---|---|
Page 1
Page 1