View of Aspect-Oriented Formal Modeling: (AspectZ + Object-Z) = OOAspectZ

Return to Article Details Aspect-Oriented Formal Modeling: (AspectZ + Object-Z) = OOAspectZ Download Download PDF