Publication | Closed Access
Formal Specification and Metaprogramming in the EXPRESS Language.
10
Citations
0
References
1995
Year
Specification LanguageFormal SpecificationEngineeringAutomated ReasoningExpress LanguageFormal MethodsMetaprogrammingSemanticsProgramming Languages
No additional data available for this publication yet. Check back later!