Publication | Closed Access
LEGOL 2.0: A relational specification language for complex rules
71
Citations
1
References
1979
Year
Specification LanguageFormal SpecificationEngineeringAutomated ReasoningRule LanguageVerificationFormal MethodsSoftware AnalysisLegol 2.0Formal VerificationSoftware Design
| Year | Citations | |
|---|---|---|
Page 1
Page 1