Publication | Closed Access
Proving entailment between conceptual state specifications
31
Citations
18
References
1988
Year
Formal SemanticsConceptual State SpecificationsEngineeringAutomated ReasoningPropositional LogicFormal MethodsFormal SystemSemanticsFormal Verification
| Year | Citations | |
|---|---|---|
Page 1
Page 1