Stem loo$ (all stems)
1 papers:
CBSE-2006-Lumpe #abstraction #component #framework #modelling #named #reasoning- GLoo: A Framework for Modeling and Reasoning About Component-Oriented Language Abstractions (ML), pp. 17–32.
CBSE-2006-Lumpe #abstraction #component #framework #modelling #named #reasoning