Publication | Closed Access
ACT one An algebraic specification language with two levels of semantics
90
Citations
0
References
1983
Year
Specification LanguageSyntaxFormal SpecificationEngineeringOperational SemanticsAutomated ReasoningAlgebraic SemanticsFormal MethodsSoftware AnalysisAct OneAlgebraic Specification LanguageFormal SystemLanguage StudiesSemanticsFormal Verification
No additional data available for this publication yet. Check back later!